Home
last modified time | relevance | path

Searched refs:vCopies2 (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A DcecSat.c325 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 DcecSatG.c679 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 Dgia.h153 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 DgiaMan.c127 Vec_IntErase( &p->vCopies2 ); in Gia_ManStop()