diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-31 14:18:31 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-31 14:18:31 -0400 |
| commit | 6582e10a82b705981344f41953e39dc85612b530 (patch) | |
| tree | dbbcaa04a155bfbb7bf563c3719d1f4236cca3cd /src/sat/cnf | |
| parent | f620a857d36343b2e475e3b60537fa56fee4d65c (diff) | |
| download | abc-6582e10a82b705981344f41953e39dc85612b530.tar.gz abc-6582e10a82b705981344f41953e39dc85612b530.tar.bz2 abc-6582e10a82b705981344f41953e39dc85612b530.zip | |
Specialized induction check.
Diffstat (limited to 'src/sat/cnf')
| -rw-r--r-- | src/sat/cnf/cnfMan.c | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/sat/cnf/cnfMan.c b/src/sat/cnf/cnfMan.c index 8a155f78..a2d74b1c 100644 --- a/src/sat/cnf/cnfMan.c +++ b/src/sat/cnf/cnfMan.c @@ -206,9 +206,12 @@ void Cnf_DataLift( Cnf_Dat_t * p, int nVarsPlus ) { Aig_Obj_t * pObj; int v; - Aig_ManForEachObj( p->pMan, pObj, v ) - if ( p->pVarNums[pObj->Id] >= 0 ) - p->pVarNums[pObj->Id] += nVarsPlus; + if ( p->pMan ) + { + Aig_ManForEachObj( p->pMan, pObj, v ) + if ( p->pVarNums[pObj->Id] >= 0 ) + p->pVarNums[pObj->Id] += nVarsPlus; + } for ( v = 0; v < p->nLiterals; v++ ) p->pClauses[0][v] += 2*nVarsPlus; } |