| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fxch/ |
| H A D | FxchMan.c | 406 * vCube1Copy = Vec_IntDup( vCube1 ); in Fxch_ManExtractDivFromCubePairs()
429 Vec_IntClear( vCube1 ); in Fxch_ManExtractDivFromCubePairs()
482 Vec_IntClear( vCube1 ); in Fxch_ManExtractDivFromCubePairs()
520 * vCube1; in Fxch_ManCreateCube() local
554 Vec_IntPush( vCube1, iVarNew ); in Fxch_ManCreateCube()
569 Vec_IntForEachEntryStart( vCube1, Lit, i, 1 ) in Fxch_ManCreateCube()
593 * vCube1, in Fxch_ManUpdate() local
693 if ( !Vec_WecIntHasMark( vCube1 ) ) in Fxch_ManUpdate()
697 Vec_WecIntSetMark( vCube1 ); in Fxch_ManUpdate()
749 if ( Vec_WecIntHasMark( vCube1 ) ) in Fxch_ManUpdate()
[all …]
|
| H A D | FxchSCHashTable.c | 126 * vCube1 = Vec_WecEntry( vCubes, pSCData1->iCube ); in Fxch_SCHashTableEntryCompare() local
133 !Vec_IntSize( vCube1 ) || in Fxch_SCHashTableEntryCompare()
134 Vec_IntEntry( vCube0, 0 ) != Vec_IntEntry( vCube1, 0 ) || in Fxch_SCHashTableEntryCompare()
148 ( Vec_IntEntry( vCube0, pSCData0->iLit0 ) == Vec_IntEntry( vCube1, pSCData1->iLit0 ) || in Fxch_SCHashTableEntryCompare()
149 Vec_IntEntry( vCube0, pSCData0->iLit0 ) == Vec_IntEntry( vCube1, pSCData1->iLit1 ) || in Fxch_SCHashTableEntryCompare()
150 Vec_IntEntry( vCube0, pSCData0->iLit1 ) == Vec_IntEntry( vCube1, pSCData1->iLit0 ) || in Fxch_SCHashTableEntryCompare()
151 Vec_IntEntry( vCube0, pSCData0->iLit1 ) == Vec_IntEntry( vCube1, pSCData1->iLit1 ) ) ) in Fxch_SCHashTableEntryCompare()
160 Vec_IntAppendSkip( &pSCHashTable->vSubCube1, vCube1, pSCData1->iLit0 ); in Fxch_SCHashTableEntryCompare()
162 Vec_IntAppend( &pSCHashTable->vSubCube1, vCube1 ); in Fxch_SCHashTableEntryCompare()
235 * vCube1 = Fxch_ManGetCube( pSCHashTable->pFxchMan, pNewEntry->iCube ); in Fxch_SCHashTableInsert() local
[all …]
|
| H A D | FxchDiv.c | 341 Vec_Int_t* vCube1 ) in Fxch_DivSepareteCubes() argument
349 Vec_IntPush( vCube1, Abc_Lit2Var( Lit ) ); in Fxch_DivSepareteCubes()
355 assert( Vec_IntSize( vCube1 ) == 3 ); in Fxch_DivSepareteCubes()
361 pArray = Vec_IntArray( vCube1 ); in Fxch_DivSepareteCubes()
381 Vec_Int_t* vCube1, in Fxch_DivRemoveLits() argument
399 Count += Vec_IntRemove1( vCube1, Abc_Lit2Var( Lit ) ); in Fxch_DivRemoveLits()
405 Vec_IntRemove1( vCube1, Abc_LitNot( Abc_Lit2Var( Lit ) ) ); in Fxch_DivRemoveLits()
428 ret += Vec_IntRemove1( vCube1, ( Abc_Lit2Var( Lit ) ^ (fCompl && i > 1) ) ); in Fxch_DivRemoveLits()
|
| H A D | Fxch.h | 164 void Fxch_DivSepareteCubes( Vec_Int_t* vDiv, Vec_Int_t* vCube0, Vec_Int_t* vCube1 );
165 int Fxch_DivRemoveLits( Vec_Int_t* vCube0, Vec_Int_t* vCube1, Vec_Int_t* vDiv, int *fCompl );
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaEsop.c | 43 Vec_Int_t * vCube1; // first cube member
75 p->vCube1 = Vec_IntAlloc(Gia_ManCiNum(pGia)); in Eso_ManAlloc()
94 Vec_IntFree( p->vCube1 ); in Eso_ManStop()
384 int * pBeg1 = vCube1->pArray; in Eso_ManComputeAnd()
386 int * pEnd1 = vCube1->pArray + vCube1->nSize; in Eso_ManComputeAnd()
405 assert( vCube->nSize >= vCube1->nSize ); in Eso_ManComputeAnd()
411 Vec_Int_t vCube1, vCube2; in Eso_ManComputeOne() local
433 vCube1 = *Hsh_VecReadEntry( p->pHash, Cube1 ); in Eso_ManComputeOne()
435 Cube = Eso_ManComputeAnd( p, &vCube1, &vCube2, p->vCube ); in Eso_ManComputeOne()
502 vEsop1 = Eso_ManTransformOne( p, vEsop1, Gia_ObjFaninC0(pObj), p->vCube1 ); in Eso_ManCompute()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/pla/ |
| H A D | plaFxch.c | 60 Vec_Int_t vCube1; // first cube member
214 Vec_IntErase( &p->vCube1 ); in Fxch_ManStop()
233 Vec_Int_t * vCube1 = Fxch_ManCube( p, hCube1 ); in Fxch_TabCompare() local
235 … if ( !Vec_IntSize(vCube1) || !Vec_IntSize(vCube2) || Vec_IntSize(vCube1) != Vec_IntSize(vCube2) ) in Fxch_TabCompare()
237 Vec_IntClear( &p->vCube1 ); in Fxch_TabCompare()
239 Vec_IntAppendSkip( &p->vCube1, vCube1, Pla_CubeLit(hCube1) ); in Fxch_TabCompare()
241 return Vec_IntEqual( &p->vCube1, &p->vCube2 ); in Fxch_TabCompare()
619 Vec_Int_t * vCube1, * vCube2, * vLitP, * vLitN; in Fxch_ManUpdate() local
691 vCube1 = Fxch_ManCube( p, hCube1 ); in Fxch_ManUpdate()
697 Fxch_CompressLiterals( vCube1, Lit0, Lit1 ); in Fxch_ManUpdate()
[all …]
|
| H A D | plaHash.c | 268 Vec_Int_t * vCube1, * vCube2; in Pla_ManComputeDistance1Int() local
293 vCube1 = Vec_WecEntry(&p->vCubeLits, iCube1); in Pla_ManComputeDistance1Int()
300 if ( Vec_IntSize(vCube1) != Vec_IntSize(vCube2) ) in Pla_ManComputeDistance1Int()
302 Vec_IntCopySkip( vCube1, iVar1, vTemp1 ); in Pla_ManComputeDistance1Int()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcFx.c | 329 Vec_Int_t * vCube1, * vCube2, * vDivs; in Div_CubePairs() local
333 Vec_WecForEachLevel( p, vCube1, i ) in Div_CubePairs()
337 Vec_IntForEachEntry( vCube1, pLits[0], i1 ) in Div_CubePairs()
338 Vec_IntForEachEntryStart( vCube1, pLits[1], i2, i1+1 ) in Div_CubePairs()
345 nBase = Div_FindDiv( vCube1, vCube2, pLitsA, pLitsB ); in Div_CubePairs()
355 Div_CubePrintOne( vCube1, vStr, nVars ); in Div_CubePairs()
|