Searched refs:vUsed2 (Results 1 – 4 of 4) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcMaj.c | 865 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 D | bmcMaj3.c | 564 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 D | acb.h | 116 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 D | cba.h | 103 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()
|