Searched refs:vXorLits (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cecChoice.c | 100 Vec_Int_t * vXorLits; in Cec_ManCombSpecReduce() local
113 vXorLits = Vec_IntAlloc( 1000 ); in Cec_ManCombSpecReduce()
126 Vec_IntPush( vXorLits, iObjNew ); in Cec_ManCombSpecReduce()
142 … Vec_IntPush( vXorLits, Gia_ManHashAnd(pNew, iPrevNew, Abc_LitNot(iObjNew)) ); in Cec_ManCombSpecReduce()
155 Vec_IntPush( vXorLits, Gia_ManHashAnd(pNew, iPrevNew, Abc_LitNot(iObjNew)) ); in Cec_ManCombSpecReduce()
174 Vec_IntPush( vXorLits, Gia_ManHashXor(pNew, iPrevNew, iObjNew) ); in Cec_ManCombSpecReduce()
178 Vec_IntForEachEntry( vXorLits, iObjNew, i ) in Cec_ManCombSpecReduce()
180 Vec_IntFree( vXorLits ); in Cec_ManCombSpecReduce()
|
| H A D | cecCorr.c | 110 Vec_Int_t * vXorLits; in Gia_ManCorrSpecReduce() local
134 vXorLits = Vec_IntAlloc( 1000 ); in Gia_ManCorrSpecReduce()
147 Vec_IntPush( vXorLits, iObjNew ); in Gia_ManCorrSpecReduce()
195 Vec_IntPush( vXorLits, Gia_ManHashXor(pNew, iPrevNew, iObjNew) ); in Gia_ManCorrSpecReduce()
199 Vec_IntForEachEntry( vXorLits, iObjNew, i ) in Gia_ManCorrSpecReduce()
201 Vec_IntFree( vXorLits ); in Gia_ManCorrSpecReduce()
227 Vec_Int_t * vXorLits; in Gia_ManCorrSpecReduceInit() local
250 vXorLits = Vec_IntAlloc( 1000 ); in Gia_ManCorrSpecReduceInit()
265 Vec_IntPush( vXorLits, Gia_ManHashXor(pNew, iPrevNew, iObjNew) ); in Gia_ManCorrSpecReduceInit()
269 Vec_IntForEachEntry( vXorLits, iObjNew, i ) in Gia_ManCorrSpecReduceInit()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaEquiv.c | 1137 Vec_Int_t * vXorLits; in Gia_ManSpecReduceTrace() local
1147 vXorLits = Vec_IntAlloc( 1000 ); in Gia_ManSpecReduceTrace()
1165 if ( Vec_IntSize(vXorLits) == 0 ) in Gia_ManSpecReduceTrace()
1173 Vec_IntFree( vXorLits ); in Gia_ManSpecReduceTrace()
1195 Vec_Int_t * vXorLits; in Gia_ManSpecReduce() local
1216 vXorLits = Vec_IntAlloc( 1000 ); in Gia_ManSpecReduce()
1239 if ( Vec_IntSize(vXorLits) == 0 ) in Gia_ManSpecReduce()
1247 Vec_IntFree( vXorLits ); in Gia_ManSpecReduce()
1332 Vec_Int_t * vXorLits; in Gia_ManSpecReduceInit() local
1364 vXorLits = Vec_IntAlloc( 1000 ); in Gia_ManSpecReduceInit()
[all …]
|