diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-10-05 22:39:38 +0300 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-10-05 22:39:38 +0300 |
| commit | 02972e53c21d99c98c3c7f818669fb006cb81b40 (patch) | |
| tree | e41494238b91d0f9e0f2a09592de7e94a006cac9 /src/base | |
| parent | fbdf438d26d25da53f935d1a0467c19938d29196 (diff) | |
| download | abc-02972e53c21d99c98c3c7f818669fb006cb81b40.tar.gz abc-02972e53c21d99c98c3c7f818669fb006cb81b40.tar.bz2 abc-02972e53c21d99c98c3c7f818669fb006cb81b40.zip | |
Improvements to truth table manipulation.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/acb/acbPush.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/acb/acbPush.c b/src/base/acb/acbPush.c index 01de31db..8d73b6f3 100644 --- a/src/base/acb/acbPush.c +++ b/src/base/acb/acbPush.c @@ -46,7 +46,7 @@ void Acb_ObjPushToFanout( Acb_Ntk_t * p, int iObj, int iFaninIndex, int iFanout { word c0, uTruthObjNew = 0, uTruthObj = Acb_ObjTruth( p, iObj ), Gate; word c1, uTruthFanNew = 0, uTruthFan = Acb_ObjTruth( p, iFanout ); - int DecType = Abc_TtCheckOutAnd( uTruthObj, iFaninIndex, &uTruthObjNew ); + int DecType = Abc_Tt6CheckOutDec( uTruthObj, iFaninIndex, &uTruthObjNew ); int iFanin = Acb_ObjFanin( p, iObj, iFaninIndex ); int iFanoutObjIndex = Acb_ObjWhatFanin( p, iFanout, iObj ); int iFanoutFaninIndex = Acb_ObjWhatFanin( p, iFanout, iFanin ); @@ -274,7 +274,7 @@ static inline int Acb_ObjFindFanoutPushableIndex( Acb_Ntk_t * p, int iObj ) { int k, iFanin, * pFanins; Acb_ObjForEachFaninFast( p, iObj, pFanins, iFanin, k ) - if ( Abc_TtCheckOutAnd(Acb_ObjTruth(p, iObj), k, NULL) >= 0 ) + if ( Abc_Tt6CheckOutDec(Acb_ObjTruth(p, iObj), k, NULL) >= 0 ) return k; return -1; } |