diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-04 23:42:28 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-04 23:42:28 -0700 |
| commit | 43ec3fd8f8d0e271c2818ee9f437b5821cc40921 (patch) | |
| tree | 600814d24e197c3557a77445182b92a8616bff17 /src | |
| parent | fa48d46b82e58cff1b5c965658349be3b6f53d58 (diff) | |
| download | abc-43ec3fd8f8d0e271c2818ee9f437b5821cc40921.tar.gz abc-43ec3fd8f8d0e271c2818ee9f437b5821cc40921.tar.bz2 abc-43ec3fd8f8d0e271c2818ee9f437b5821cc40921.zip | |
Fixed C-compiler errors on Windows.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/saig/saigUnfold2.c | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/src/aig/saig/saigUnfold2.c b/src/aig/saig/saigUnfold2.c index e5ff9d2c..277efc09 100644 --- a/src/aig/saig/saigUnfold2.c +++ b/src/aig/saig/saigUnfold2.c @@ -79,9 +79,12 @@ Aig_Man_t * Saig_ManCreateIndMiter2( Aig_Man_t * pAig, Vec_Vec_t * vCands ) Aig_ObjCreateCo( pFrames, pMiter ); /* need to check p & Xp is satisfiable */ - /* jlong -- begin */ + /* jlong -- begin */ + { Aig_Obj_t * pMiter2 = Aig_And( pFrames, pFan0, Aig_Not(pFan1)); - Aig_ObjCreateCo( pFrames, pMiter2 ); /* jlong -- end */ + Aig_ObjCreateCo( pFrames, pMiter2 ); + } + /* jlong -- end */ } { /* jlong -- begin */ @@ -374,7 +377,7 @@ Aig_Man_t * Saig_ManDupFoldConstrsFunc2( Aig_Man_t * pAig, int fCompl, int fVerb { Aig_Man_t * pAigNew; Aig_Obj_t * pMiter, * pFlopOut, * pFlopIn, * pObj; - int i; + int i, typeII_cc, type_II; if ( Aig_ManConstrNum(pAig) == 0 ) return Aig_ManDupDfs( pAig ); assert( Aig_ManConstrNum(pAig) < Saig_ManPoNum(pAig) ); @@ -393,10 +396,9 @@ Aig_Man_t * Saig_ManDupFoldConstrsFunc2( Aig_Man_t * pAig, int fCompl, int fVerb // OR the constraint outputs pMiter = Aig_ManConst0( pAigNew ); - int typeII_cc = 0;//typeII_cnt; - typeII_cnt = 0; - - int type_II = 0; + typeII_cc = 0;//typeII_cnt; + typeII_cnt = 0; + type_II = 0; Saig_ManForEachPo( pAig, pObj, i ) { |