diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-03 14:27:28 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-03 14:27:28 -0700 |
| commit | cb5e2308b2b7fbee770c99fda58edbe40a28ef1a (patch) | |
| tree | 21d6c9939113a146550c1d9e491d093374b792fc /src/opt/dau/dau.h | |
| parent | 7ba37f4901cfe1aed8da2bd156c6ba65d0d40495 (diff) | |
| download | abc-cb5e2308b2b7fbee770c99fda58edbe40a28ef1a.tar.gz abc-cb5e2308b2b7fbee770c99fda58edbe40a28ef1a.tar.bz2 abc-cb5e2308b2b7fbee770c99fda58edbe40a28ef1a.zip | |
Improved DSD.
Diffstat (limited to 'src/opt/dau/dau.h')
| -rw-r--r-- | src/opt/dau/dau.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/dau/dau.h b/src/opt/dau/dau.h index b65a1b2c..1db02a0d 100644 --- a/src/opt/dau/dau.h +++ b/src/opt/dau/dau.h @@ -55,7 +55,7 @@ ABC_NAMESPACE_HEADER_START /*=== dauCanon.c ==========================================================*/ extern unsigned Abc_TtCanonicize( word * pTruth, int nVars, char * pCanonPerm ); - +extern char * Dau_DsdDecompose( word * pTruth, int nVarsInit, int * pnSizeNonDec ); ABC_NAMESPACE_HEADER_END |