diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-21 10:00:46 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-21 10:00:46 -0700 |
| commit | e2f15482175a06a9aa9056a3a54b2bb05de2721a (patch) | |
| tree | 17960c2c61a317d3b593dc350800f5ca787316e4 /src/opt | |
| parent | 6ca31c475f7ae1605be34a0629559db2beef49d1 (diff) | |
| download | abc-e2f15482175a06a9aa9056a3a54b2bb05de2721a.tar.gz abc-e2f15482175a06a9aa9056a3a54b2bb05de2721a.tar.bz2 abc-e2f15482175a06a9aa9056a3a54b2bb05de2721a.zip | |
Various changes.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/sbd/sbdCut2.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/opt/sbd/sbdCut2.c b/src/opt/sbd/sbdCut2.c index b4a8be74..b9ef4d82 100644 --- a/src/opt/sbd/sbdCut2.c +++ b/src/opt/sbd/sbdCut2.c @@ -193,7 +193,7 @@ static inline int Sbd_ManCutExpandOne( Gia_Man_t * p, Vec_Int_t * vMirrors, Vec_ Vec_IntPushOrder( vCut, Fan1 ); return 1; } -void Vec_IntIsOrdered( Vec_Int_t * vCut ) +void Vec_IntOrdered( Vec_Int_t * vCut ) { int i, Prev, Entry; Prev = Vec_IntEntry( vCut, 0 ); @@ -229,7 +229,7 @@ void Sbd_ManCutReload( Vec_Int_t * vMirrors, Vec_Int_t * vLutLevs, int LevStop, else Vec_IntPush( vCutBot, Entry ); } - Vec_IntIsOrdered( vCut ); + Vec_IntOrdered( vCut ); } int Sbd_ManCutCollect_rec( Gia_Man_t * p, Vec_Int_t * vMirrors, int iObj, int LevStop, Vec_Int_t * vLutLevs, Vec_Int_t * vCut ) { @@ -267,7 +267,7 @@ int Sbd_ManCutReduceTop( Gia_Man_t * p, Vec_Int_t * vMirrors, int iObj, Vec_Int_ { int i, Entry, Lit0m, Lit1m, Fan0, Fan1; int LevStop = Vec_IntEntry(vLutLevs, iObj) - 2; - Vec_IntIsOrdered( vCut ); + Vec_IntOrdered( vCut ); Vec_IntForEachEntryReverse( vCutTop, Entry, i ) { Gia_Obj_t * pObj = Gia_ManObj( p, Entry ); |