Searched refs:vCopies2 (Results 1 – 4 of 4) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecSat.c | 325 if ( Vec_IntSize(&pGia->vCopies2) < Gia_ManObjNum(pGia) ) in Gia_ObjGetCnfVar() 326 Vec_IntFillExtra( &pGia->vCopies2, Gia_ManObjNum(pGia), -1 ); in Gia_ObjGetCnfVar() 694 Vec_IntFill( &p->pNew->vCopies2, Gia_ManObjNum(p->pNew), -1 ); in Cec2_ManCreate() 970 if ( Vec_IntSize(&pMan->pNew->vCopies2) == Abc_Lit2Var(pObj->Value) ) in Cec2_ManPerformSweeping() 975 Vec_IntPush( &pMan->pNew->vCopies2, -1 ); in Cec2_ManPerformSweeping() 977 assert( Vec_IntSize(&pMan->pNew->vCopies2) == Gia_ManObjNum(pMan->pNew) ); in Cec2_ManPerformSweeping()
|
H A D | cecSatG.c | 679 Vec_IntFill( &p->pNew->vCopies2, Gia_ManObjNum(p->pNew), -1 ); in Cec3_ManCreate() 968 if ( Vec_IntSize(&pMan->pNew->vCopies2) == Abc_Lit2Var(pObj->Value) ) in Cec3_ManPerformSweeping() 973 Vec_IntPush( &pMan->pNew->vCopies2, -1 ); in Cec3_ManPerformSweeping() 975 assert( Vec_IntSize(&pMan->pNew->vCopies2) == Gia_ManObjNum(pMan->pNew) ); in Cec3_ManPerformSweeping()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | gia.h | 153 Vec_Int_t vCopies2; // intermediate copies member 556 …an_t * p, int iObj ) { return Vec_IntEntry(&p->vCopies2, iObj); … in Gia_ObjCopy2Array() 557 …Gia_Man_t * p, int iObj, int iLit ) { Vec_IntWriteEntry(&p->vCopies2, iObj, iLit); … in Gia_ObjSetCopy2Array() 558 …Array( Gia_Man_t * p ) { Vec_IntFill( &p->vCopies2, Gia_ManObjNum(p)… in Gia_ManCleanCopy2Array()
|
H A D | giaMan.c | 127 Vec_IntErase( &p->vCopies2 ); in Gia_ManStop()
|