diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-02-20 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-02-20 08:01:00 -0800 |
| commit | c03f9b516bed2c06ec2bfc78617eba5fc9a11c32 (patch) | |
| tree | 58b8a5447d5ae7554fd5e9599f1fbe5a4f072617 /src/aig/gia/giaForce.c | |
| parent | 28d4f8696dd2cf60f71fca5d83e5f038678f4828 (diff) | |
| download | abc-c03f9b516bed2c06ec2bfc78617eba5fc9a11c32.tar.gz abc-c03f9b516bed2c06ec2bfc78617eba5fc9a11c32.tar.bz2 abc-c03f9b516bed2c06ec2bfc78617eba5fc9a11c32.zip | |
Version abc90220
Diffstat (limited to 'src/aig/gia/giaForce.c')
| -rw-r--r-- | src/aig/gia/giaForce.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaForce.c b/src/aig/gia/giaForce.c index e5080e81..c2d2d33f 100644 --- a/src/aig/gia/giaForce.c +++ b/src/aig/gia/giaForce.c @@ -42,7 +42,7 @@ struct For_Man_t_ Gia_Man_t * pGia; // the original AIG manager int nObjs; // the number of objects int iObj; // the last added object - int * pPlace; // Placeing of objects + int * pPlace; // coordinates of objects int * piNext; // array of next pointers int * piRoot; // array of root pointers float * plEdge; // edge coordinates @@ -413,7 +413,7 @@ void For_ManSortObjects( For_Man_t * p ) p->piNext[i] = p->piRoot[iPlace]; p->piRoot[iPlace] = i; } - // recostruct the order + // reconstruct the order p->iObj = 0; pPrev = NULL; vArray = Vec_PtrAlloc( 100 ); |