diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-11-27 17:37:34 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-11-27 17:37:34 -0800 |
| commit | f26ea1eaea5b51a3aec8107636c9f88eadfdcee0 (patch) | |
| tree | 59f90e5e857950020c4108c31dbfbc6e768b5f91 /src/bdd/cudd/cuddAddNeg.c | |
| parent | 96bdcd2bb274e2cf01d2362294d5f5fdeb009533 (diff) | |
| download | abc-f26ea1eaea5b51a3aec8107636c9f88eadfdcee0.tar.gz abc-f26ea1eaea5b51a3aec8107636c9f88eadfdcee0.tar.bz2 abc-f26ea1eaea5b51a3aec8107636c9f88eadfdcee0.zip | |
Changes to make compiler happy.
Diffstat (limited to 'src/bdd/cudd/cuddAddNeg.c')
| -rw-r--r-- | src/bdd/cudd/cuddAddNeg.c | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/bdd/cudd/cuddAddNeg.c b/src/bdd/cudd/cuddAddNeg.c index ab36874d..22d11219 100644 --- a/src/bdd/cudd/cuddAddNeg.c +++ b/src/bdd/cudd/cuddAddNeg.c @@ -226,6 +226,22 @@ cuddAddNegateRecur( } /* end of cuddAddNegateRecur */ +#ifdef USE_CASH_DUMMY +/**Function******************************************************************** + + Synopsis We need to declare a function passed to cuddCacheLookup1 that can + be casted to DD_CTFP. + +******************************************************************************/ +static DdNode * +Cudd_addRoundOff_dummy(DdManager * dd, DdNode * f) +{ + assert(0); + return 0; +} +#endif + + /**Function******************************************************************** Synopsis [Implements the recursive step of Cudd_addRoundOff.] @@ -253,7 +269,11 @@ cuddAddRoundOffRecur( res = cuddUniqueConst(dd,n); return(res); } +#ifdef USE_CASH_DUMMY + cacheOp = (DD_CTFP1) Cudd_addRoundOff_dummy; +#else cacheOp = (DD_CTFP1) Cudd_addRoundOff; +#endif res = cuddCacheLookup1(dd,cacheOp,f); if (res != NULL) { return(res); |