diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-06 20:28:27 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-06 20:28:27 -0800 |
| commit | ac343478e710c002294dd83f1497d4323eb1ba7e (patch) | |
| tree | c582b5a1f67b26d89e778a3bfa28db7bce101305 /src/opt | |
| parent | 2fbb4b18269240ae36b972f797ea436736c422ce (diff) | |
| download | abc-ac343478e710c002294dd83f1497d4323eb1ba7e.tar.gz abc-ac343478e710c002294dd83f1497d4323eb1ba7e.tar.bz2 abc-ac343478e710c002294dd83f1497d4323eb1ba7e.zip | |
Improved DSD.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/dau/dauDsd.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/dau/dauDsd.c b/src/opt/dau/dauDsd.c index 32c2dab1..b7a76838 100644 --- a/src/opt/dau/dauDsd.c +++ b/src/opt/dau/dauDsd.c @@ -1313,7 +1313,7 @@ char * Dau_DsdDecompose( word * pTruth, int nVarsInit, int * pnSizeNonDec ) *pnSizeNonDec = p->nSizeNonDec; return p->pOutput; } -void Dau_DsdTest33() +void Dau_DsdTest() { // char * pStr = "(!(!a<bcd>)!(!fe))"; // char * pStr = "([acb]<!edf>)"; @@ -1328,7 +1328,7 @@ void Dau_DsdTest33() t = 0; } -void Dau_DsdTest() +void Dau_DsdTest33() { char * pFileName = "_npn/npn/dsd06.txt"; FILE * pFile = fopen( pFileName, "rb" ); |