Searched refs:Aig_ObjReverseLevelNew (Results 1 – 2 of 2) sorted by relevance
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
| H A D | aigTiming.c | 132 int Aig_ObjReverseLevelNew( Aig_Man_t * p, Aig_Obj_t * pObj ) in Aig_ObjReverseLevelNew() function
174 Aig_ObjSetReverseLevel( p, pObj, Aig_ObjReverseLevelNew(p, pObj) ); in Aig_ManStartReverseLevels()
273 if ( LevelOld == Aig_ObjReverseLevelNew(p, pObjNew) ) in Aig_ManUpdateReverseLevel()
287 Aig_ObjSetReverseLevel( p, pTemp, Aig_ObjReverseLevelNew(p, pTemp) ); in Aig_ManUpdateReverseLevel()
358 pObj->Id, Aig_ObjReverseLevelNew(p, pObj), Aig_ObjReverseLevel(p, pObj) ); in Aig_ManVerifyReverseLevel()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigTiming.c | 117 int Aig_ObjReverseLevelNew( Aig_Man_t * p, Aig_Obj_t * pObj ) in Aig_ObjReverseLevelNew() function
159 Aig_ObjSetReverseLevel( p, pObj, Aig_ObjReverseLevelNew(p, pObj) ); in Aig_ManStartReverseLevels()
258 if ( LevelOld == Aig_ObjReverseLevelNew(p, pObjNew) ) in Aig_ManUpdateReverseLevel()
272 Aig_ObjSetReverseLevel( p, pTemp, Aig_ObjReverseLevelNew(p, pTemp) ); in Aig_ManUpdateReverseLevel()
343 pObj->Id, Aig_ObjReverseLevelNew(p, pObj), Aig_ObjReverseLevel(p, pObj) ); in Aig_ManVerifyReverseLevel()
|