Searched refs:pIndex0Live (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/live/ |
| H A D | kLiveConstraints.c | 163 Aig_Man_t *generateWorkingAig( Aig_Man_t *pAig, Abc_Ntk_t *pNtk, int *pIndex0Live ) in generateWorkingAig() argument
170 pAigNew = createNewAigWith0LivePo( pAig, vSignalVector, pIndex0Live ); in generateWorkingAig()
|
| H A D | arenaViolation.c | 529 Aig_Man_t *generateWorkingAigWithDSC( Aig_Man_t *pAig, Abc_Ntk_t *pNtk, int *pIndex0Live, Vec_Ptr_t… in generateWorkingAigWithDSC() argument
543 …pAigNew = createNewAigWith0LivePoWithDSC( pAig, vSignalVector, pIndex0Live, pObjWindowBegin, pObjW… in generateWorkingAigWithDSC()
|
| H A D | kliveness.c | 44 extern Aig_Man_t *generateWorkingAig( Aig_Man_t *pAig, Abc_Ntk_t *pNtk, int *pIndex0Live );
47 extern Aig_Man_t *generateWorkingAigWithDSC( Aig_Man_t *pAig, Abc_Ntk_t *pNtk, int *pIndex0Live, Ve…
|