Home
last modified time | relevance | path

Searched defs:LevelR (Results 1 – 7 of 7) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyRwrAlg.c54 int i, RetValue, LevelR, nNodesOld; in Ivy_ManRewriteAlg() local
125 …t * vFront, Vec_Ptr_t * vLeaves, Vec_Ptr_t * vCone, Vec_Ptr_t * vSols, int LevelR, int fUseZeroCos… in Ivy_NodeRewriteAlg()
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/
H A DaigTiming.c80 static inline void Aig_ObjSetReverseLevel( Aig_Man_t * p, Aig_Obj_t * pObj, int LevelR ) in Aig_ObjSetReverseLevel()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigTiming.c65 static inline void Aig_ObjSetReverseLevel( Aig_Man_t * p, Aig_Obj_t * pObj, int LevelR ) in Aig_ObjSetReverseLevel()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/
H A DsfmNtk.c141 int k, Fanout, LevelR = 0; in Sfm_ObjLevelNewR() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbUtil.c287 int LevelD, LevelR; in Acb_NtkComputePaths() local
349 int LevelD, LevelR, nPaths1, nPaths2; in Acb_NtkUpdateTiming() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcTiming.c1211 void Abc_ObjSetReverseLevel( Abc_Obj_t * pObj, int LevelR ) in Abc_ObjSetReverseLevel()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaUtil.c603 int LevelR = Vec_IntEntry( vLevelRev, i ); in Gia_ManReverseLevel() local