/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
H A D | ivyHaig.c | 222 int Ivy_ObjIsInTfi_rec( Ivy_Obj_t * pObjNew, Ivy_Obj_t * pObjOld, int Levels ) in Ivy_ObjIsInTfi_rec() 246 void Ivy_ManHaigCreateChoice( Ivy_Man_t * p, Ivy_Obj_t * pObjOld, Ivy_Obj_t * pObjNew ) in Ivy_ManHaigCreateChoice()
|
H A D | ivyObj.c | 328 void Ivy_ObjReplace( Ivy_Man_t * p, Ivy_Obj_t * pObjOld, Ivy_Obj_t * pObjNew, int fDeleteOld, int f… in Ivy_ObjReplace()
|
H A D | ivyBalance.c | 125 int Ivy_NodeBalance_rec( Ivy_Man_t * pNew, Ivy_Obj_t * pObjOld, Vec_Vec_t * vStore, int Level, int … in Ivy_NodeBalance_rec()
|
H A D | ivyFraig.c | 2027 Ivy_Obj_t * Ivy_FraigAnd( Ivy_FraigMan_t * p, Ivy_Obj_t * pObjOld ) in Ivy_FraigAnd()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecSweep.c | 191 Gia_Obj_t * pObj, * pObjOld, * pReprOld; in Cec_ManFraClassesUpdate() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/live/ |
H A D | liveness_sim.c | 80 Aig_Obj_t *pObjOld, *pObj; in retrieveTruePiName() local 102 Aig_Obj_t *pObjOld, *pObj; in retrieveLOName() local
|
H A D | liveness.c | 117 Aig_Obj_t *pObjOld, *pObj; in retrieveTruePiName() local 139 Aig_Obj_t *pObjOld, *pObj; in retrieveLOName() local
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
H A D | aigObj.c | 372 void Aig_ObjReplace( Aig_Man_t * p, Aig_Obj_t * pObjOld, Aig_Obj_t * pObjNew, int fNodesOnly, int f… in Aig_ObjReplace()
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/ |
H A D | darBalance.c | 115 Aig_Obj_t * Dar_Balance_rec( Aig_Man_t * pNew, Aig_Obj_t * pObjOld, Vec_Vec_t * vStore, int Level, … in Dar_Balance_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcHaig.c | 347 Abc_Obj_t * pObjOld, * pObjAbcThis, * pObjAbcRepr; in Abc_NtkHaigRecreateAig() local
|
H A D | abcStrash.c | 372 Abc_Obj_t * pObjOld, * pDriverOld, * pDriverNew; in Abc_NtkAppend() local
|
H A D | abcDar.c | 1092 Abc_Obj_t * pObjNew, * pObjOld; in Abc_NtkAfterTrim() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/ |
H A D | hopBalance.c | 94 Hop_Obj_t * Hop_NodeBalance_rec( Hop_Man_t * pNew, Hop_Obj_t * pObjOld, Vec_Vec_t * vStore, int Lev… in Hop_NodeBalance_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigObj.c | 467 void Aig_ObjReplace( Aig_Man_t * p, Aig_Obj_t * pObjOld, Aig_Obj_t * pObjNew, int fUpdateLevel ) in Aig_ObjReplace()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
H A D | mfsStrash.c | 121 void Abc_MfsConvertHopToAig( Abc_Obj_t * pObjOld, Aig_Man_t * pMan ) in Abc_MfsConvertHopToAig()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/ |
H A D | darBalance.c | 502 Aig_Obj_t * Dar_Balance_rec( Aig_Man_t * pNew, Aig_Obj_t * pObjOld, Vec_Vec_t * vStore, int Level, … in Dar_Balance_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
H A D | abcFunc.c | 1082 Abc_Obj_t * Abc_ConvertAigToAig( Abc_Ntk_t * pNtkAig, Abc_Obj_t * pObjOld ) in Abc_ConvertAigToAig()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaBalLut.c | 486 int Bal_ManSetGateLevel( Bal_Man_t * p, Gia_Obj_t * pObjOld, int iLitNew ) in Bal_ManSetGateLevel()
|