diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-23 14:50:46 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-23 14:50:46 -0700 |
| commit | f79d8e4b0443bda2249735e34545ed2197cbe5ea (patch) | |
| tree | 9639fef4862997af1ccc72401c630ccaedab545a /src/aig | |
| parent | e19d21a09b1854a35b5a0b44e43b3dd307a7f9a0 (diff) | |
| download | abc-f79d8e4b0443bda2249735e34545ed2197cbe5ea.tar.gz abc-f79d8e4b0443bda2249735e34545ed2197cbe5ea.tar.bz2 abc-f79d8e4b0443bda2249735e34545ed2197cbe5ea.zip | |
Improvements to CNF generation.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaMf.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/aig/gia/giaMf.c b/src/aig/gia/giaMf.c index 043d4fa7..fa48a8c9 100644 --- a/src/aig/gia/giaMf.c +++ b/src/aig/gia/giaMf.c @@ -455,6 +455,15 @@ Cnf_Dat_t * Mf_ManDeriveCnf( Mf_Man_t * p, int fCnfObjIds, int fAddOrCla ) pCnf->pVarNums[Id] = pCnfIds[Gia_ManCiIdToId(p->pGia, i)]; Gia_ManForEachCoId( p->pGia0, Id, i ) pCnf->pVarNums[Id] = pCnfIds[Gia_ManCoIdToId(p->pGia, i)]; +/* + // transform polarity of the internal nodes + Gia_ManSetPhase( p->pGia ); + Gia_ManForEachCo( p->pGia, pObj, i ) + pObj->fPhase = 0; + for ( i = 0; i < pCnf->nLiterals; i++ ) + if ( Gia_ManObj(p->pGia, Abc_Lit2Var(pCnf->pClauses[0][i]))->fPhase ) + pCnf->pClauses[0][i] = Abc_LitNot( pCnf->pClauses[0][i] ); +*/ } else pCnf->pVarNums = Vec_IntReleaseArray(vCnfIds); |