diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-06 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-06 08:01:00 -0800 |
| commit | 4cf99cae95c629b31d6d89c5dcea2eeb17654c85 (patch) | |
| tree | dd5984cdf1b9332b800921fd89cf190aa2c4d8d9 /src/misc/extra/extra.h | |
| parent | 38254947a57b9899909d8fbabfbf784690ed5a68 (diff) | |
| download | abc-4cf99cae95c629b31d6d89c5dcea2eeb17654c85.tar.gz abc-4cf99cae95c629b31d6d89c5dcea2eeb17654c85.tar.bz2 abc-4cf99cae95c629b31d6d89c5dcea2eeb17654c85.zip | |
Version abc61206
Diffstat (limited to 'src/misc/extra/extra.h')
| -rw-r--r-- | src/misc/extra/extra.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/misc/extra/extra.h b/src/misc/extra/extra.h index 8f08eaff..585a5561 100644 --- a/src/misc/extra/extra.h +++ b/src/misc/extra/extra.h @@ -511,7 +511,6 @@ static inline void Extra_TruthNand( unsigned * pOut, unsigned * pIn0, unsigned * extern void Extra_TruthSwapAdjacentVars( unsigned * pOut, unsigned * pIn, int nVars, int Start ); extern void Extra_TruthStretch( unsigned * pOut, unsigned * pIn, int nVars, int nVarsAll, unsigned Phase ); extern void Extra_TruthShrink( unsigned * pOut, unsigned * pIn, int nVars, int nVarsAll, unsigned Phase ); -extern DdNode * Extra_TruthToBdd( DdManager * dd, unsigned * pTruth, int nVars ); extern int Extra_TruthVarInSupport( unsigned * pTruth, int nVars, int iVar ); extern int Extra_TruthSupportSize( unsigned * pTruth, int nVars ); extern int Extra_TruthSupport( unsigned * pTruth, int nVars ); |