Searched defs:pObjFraig (Results 1 – 9 of 9) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswLcorr.c | 48 Aig_Obj_t * pObj, * pObjFraig; in Ssw_ManSweepTransfer() local 162 Aig_Obj_t * pObjFraig, * pObjReprFraig, * pObjLi; in Ssw_ManSweepLatchOne() local
|
H A D | sswSweep.c | 49 Aig_Obj_t * pObjFraig; in Ssw_ManGetSatVarValue() local 189 Aig_Obj_t * pObjRepr, * pObjFraig, * pObjFraig2, * pObjReprFraig; in Ssw_ManSweepNode() local
|
H A D | sswDyn.c | 213 Aig_Obj_t * pObj, * pObjFraig; in Ssw_ManSweepTransferDyn() local
|
H A D | sswFilter.c | 187 Aig_Obj_t * pObjRepr, * pObjFraig, * pObjFraig2, * pObjReprFraig; in Ssw_ManSweepNodeFilter() local
|
H A D | sswConstr.c | 316 Aig_Obj_t * pObjRepr, * pObjFraig, * pObjFraig2, * pObjReprFraig; in Ssw_ManSweepNodeConstr() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
H A D | dchSweep.c | 51 Aig_Obj_t * pObjRepr, * pObjFraig, * pObjFraig2, * pObjReprFraig; in Dch_ManSweepNode() local
|
H A D | dchSimSat.c | 118 Aig_Obj_t * pObjFraig; in Dch_ManResimulateSolved_rec() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fraCore.c | 156 static inline void Fra_FraigNodeSpeculate( Fra_Man_t * p, Aig_Obj_t * pObj, Aig_Obj_t * pObjFraig, … in Fra_FraigNodeSpeculate() 236 Aig_Obj_t * pObjRepr, * pObjFraig, * pObjFraig2, * pObjReprFraig; in Fra_FraigNode() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcIvy.c | 425 Ivy_Obj_t * pObjIvy, * pObjFraig; in Abc_NtkTransferPointers() local
|