Searched refs:iLitNew1 (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
| H A D | acecPo.c | 484 int iMono, int iLitOld, int iLitNew0, int iLitNew1 ) in Gia_PolynHandleOne() argument
495 if ( iLitNew0 == -1 && iLitNew1 == -1 ) // no new lit - the same const in Gia_PolynHandleOne()
497 else if ( iLitNew0 > -1 && iLitNew1 == -1 ) // one new lit - opposite const in Gia_PolynHandleOne()
502 else if ( iLitNew0 > -1 && iLitNew1 > -1 ) // both new lit - the same const in Gia_PolynHandleOne()
506 Vec_IntPushUniqueOrder( vTempM, iLitNew1 ); in Gia_PolynHandleOne()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaSupp.c | 266 int iLitNew0, iLitNew1; in Gia_ManSupportAnd() local
272 iLitNew1 = Gia_ManRebuildOne( p, 1 ); in Gia_ManSupportAnd()
273 return Gia_ManHashAnd( p->pGia, iLitNew0, iLitNew1 ); in Gia_ManSupportAnd()
|
| H A D | giaBalLut.c | 526 int Bal_ManEvalTwo( Bal_Man_t * p, int iLitNew0, int iLitNew1, int iLitNew2, int fIsXor ) in Bal_ManEvalTwo() argument
529 int iFan1 = Abc_Lit2Var( iLitNew1 ); in Bal_ManEvalTwo()
532 int fCompl1 = Abc_LitIsCompl( iLitNew1 ); in Bal_ManEvalTwo()
|