Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcMaj.c865 Vec_Bit_t * vUsed2; // bit masks member
881 if ( Vec_BitEntry(p->vUsed2, Pos) ) in Exa3_ManIsUsed2()
884 Vec_BitWriteEntry( p->vUsed2, Pos, 1 ); in Exa3_ManIsUsed2()
976 p->vUsed2 = Vec_BitStart( (1 << p->pPars->nVars) * p->pPars->nNodes * p->nObjs * p->nObjs ); in Exa3_ManAlloc()
989 Vec_BitFreeP( &p->vUsed2 ); in Exa3_ManFree()
H A DbmcMaj3.c564 Vec_Bit_t * vUsed2; // bit masks member
589 if ( Vec_BitEntry(p->vUsed2, Pos) ) in Zyx_ManIsUsed2()
592 Vec_BitWriteEntry( p->vUsed2, Pos, 1 ); in Zyx_ManIsUsed2()
811 … p->vUsed2 = Vec_BitStart( (1 << p->pPars->nVars) * p->pPars->nNodes * p->nObjs * p->nObjs ); in Zyx_ManAlloc()
825 Vec_BitFreeP( &p->vUsed2 ); in Zyx_ManFree()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A Dacb.h116 Vec_Int_t vUsed2; // used map entries member
873 Vec_IntErase( &p->vUsed2 ); in Acb_ManFree()
914 Vec_IntPush( &p->vUsed2, i ); in Acb_ManSetMap2()
923 Vec_IntForEachEntry( &p->vUsed2, Entry, i ) in Acb_ManCleanMap2()
925 Vec_IntClear( &p->vUsed2 ); in Acb_ManCleanMap2()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cba/
H A Dcba.h103 Vec_Int_t vUsed2; // used map entries member
769 Vec_IntErase( &p->vUsed2 ); in Cba_ManFree()
810 Vec_IntPush( &p->vUsed2, i ); in Cba_ManSetMap2()
819 Vec_IntForEachEntry( &p->vUsed2, Entry, i ) in Cba_ManCleanMap2()
821 Vec_IntClear( &p->vUsed2 ); in Cba_ManCleanMap2()