diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-07 20:06:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-07 20:06:39 -0700 |
| commit | 372eb7bdefbb3da989746ea1abbab6dc10a19dd8 (patch) | |
| tree | 84c71da8da045436fa05b6a5ac4d579324d39cfe /src/opt/dau | |
| parent | f8b6d615bf2eab6fbb44a44eab9773884cc28c17 (diff) | |
| download | abc-372eb7bdefbb3da989746ea1abbab6dc10a19dd8.tar.gz abc-372eb7bdefbb3da989746ea1abbab6dc10a19dd8.tar.bz2 abc-372eb7bdefbb3da989746ea1abbab6dc10a19dd8.zip | |
Experimental resubstitution.
Diffstat (limited to 'src/opt/dau')
| -rw-r--r-- | src/opt/dau/dauDsd.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/opt/dau/dauDsd.c b/src/opt/dau/dauDsd.c index b1e7e0d8..3e11a15d 100644 --- a/src/opt/dau/dauDsd.c +++ b/src/opt/dau/dauDsd.c @@ -1973,6 +1973,14 @@ void Dau_DsdPrintFromTruth( word * pTruth, int nVarsInit ) Dau_DsdDecompose( pTemp, nVarsInit, 0, 1, pRes ); fprintf( stdout, "%s\n", pRes ); } +void Dau_DsdPrintFromTruth2( word * pTruth, int nVarsInit ) +{ + char pRes[DAU_MAX_STR]; + word pTemp[DAU_MAX_WORD]; + Abc_TtCopy( pTemp, pTruth, Abc_TtWordNum(nVarsInit), 0 ); + Dau_DsdDecompose( pTemp, nVarsInit, 0, 1, pRes ); + fprintf( stdout, "%s", pRes ); +} void Dau_DsdTest44() { |