diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-02 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-02 08:01:00 -0700 |
| commit | 303baf27cf34c2a57db97c4c567fd744241fa14b (patch) | |
| tree | d6235cca48e7bdfe5884e517058c7791e66bb806 /src/misc/extra/extraBddSymm.c | |
| parent | fa67e3c19e27c011517b91182eb3929412aaf402 (diff) | |
| download | abc-303baf27cf34c2a57db97c4c567fd744241fa14b.tar.gz abc-303baf27cf34c2a57db97c4c567fd744241fa14b.tar.bz2 abc-303baf27cf34c2a57db97c4c567fd744241fa14b.zip | |
Version abc80702
Diffstat (limited to 'src/misc/extra/extraBddSymm.c')
| -rw-r--r-- | src/misc/extra/extraBddSymm.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/misc/extra/extraBddSymm.c b/src/misc/extra/extraBddSymm.c index 358402b0..666814f6 100644 --- a/src/misc/extra/extraBddSymm.c +++ b/src/misc/extra/extraBddSymm.c @@ -515,7 +515,7 @@ DdNode* Extra_zddTuplesFromBdd( return NULL; /* the second argument in the recursive call stannds for <n>; - /* reate the first argument, which stands for <k> + * reate the first argument, which stands for <k> * as when we are talking about the tuple of <k> out of <n> */ for ( i = 0; i < nVars-K; i++ ) bVarsK = cuddT( bVarsK ); @@ -603,7 +603,7 @@ extraZddSymmPairsCompute( } assert( bVars != b1 ); - if ( zRes = cuddCacheLookup2Zdd(dd, extraZddSymmPairsCompute, bFunc, bVars) ) + if ( (zRes = cuddCacheLookup2Zdd(dd, extraZddSymmPairsCompute, bFunc, bVars)) ) return zRes; else { @@ -817,7 +817,7 @@ DdNode * extraZddGetSymmetricVars( } assert( bVars != b1 ); - if ( zRes = cuddCacheLookupZdd(dd, DD_GET_SYMM_VARS_TAG, bF, bG, bVars) ) + if ( (zRes = cuddCacheLookupZdd(dd, DD_GET_SYMM_VARS_TAG, bF, bG, bVars)) ) return zRes; else { @@ -1005,7 +1005,7 @@ DdNode * extraZddGetSingletons( // if ( bVars == b0 ) // bug fixed by Jin Zhang, Jan 23, 2004 return z1; - if ( zRes = cuddCacheLookup1Zdd(dd, extraZddGetSingletons, bVars) ) + if ( (zRes = cuddCacheLookup1Zdd(dd, extraZddGetSingletons, bVars)) ) return zRes; else { @@ -1067,7 +1067,7 @@ DdNode * extraBddReduceVarSet( if ( cuddIsConstant(bFR) || bVars == b1 ) return bVars; - if ( bRes = cuddCacheLookup2(dd, extraBddReduceVarSet, bVars, bF) ) + if ( (bRes = cuddCacheLookup2(dd, extraBddReduceVarSet, bVars, bF)) ) return bRes; else { @@ -1175,7 +1175,7 @@ DdNode * extraBddCheckVarsSymmetric( assert( bVars != b1 ); - if ( bRes = cuddCacheLookup2(dd, extraBddCheckVarsSymmetric, bF, bVars) ) + if ( (bRes = cuddCacheLookup2(dd, extraBddCheckVarsSymmetric, bF, bVars)) ) return bRes; else { @@ -1425,7 +1425,7 @@ DdNode * extraZddSelectOneSubset( if ( zS == z1 ) return z1; // check cache - if ( zRes = cuddCacheLookup1Zdd( dd, extraZddSelectOneSubset, zS ) ) + if ( (zRes = cuddCacheLookup1Zdd( dd, extraZddSelectOneSubset, zS )) ) return zRes; else { |