From 372eb7bdefbb3da989746ea1abbab6dc10a19dd8 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 7 May 2020 20:06:39 -0700 Subject: Experimental resubstitution. --- src/opt/dau/dauDsd.c | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'src/opt/dau') 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() { -- cgit v1.2.3