diff options
Diffstat (limited to 'src/aig/dch/dchCore.c')
| -rw-r--r-- | src/aig/dch/dchCore.c | 23 |
1 files changed, 22 insertions, 1 deletions
diff --git a/src/aig/dch/dchCore.c b/src/aig/dch/dchCore.c index d38d5668..bc78682b 100644 --- a/src/aig/dch/dchCore.c +++ b/src/aig/dch/dchCore.c @@ -20,6 +20,9 @@ #include "dchInt.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -57,6 +60,22 @@ void Dch_ManSetDefaultParams( Dch_Pars_t * p ) /**Function************************************************************* + Synopsis [Returns verbose parameter.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +int Dch_ManReadVerbose( Dch_Pars_t * p ) +{ + return p->fVerbose; +} + +/**Function************************************************************* + Synopsis [Performs computation of AIGs with choices.] Description [Takes several AIGs and performs choicing.] @@ -91,7 +110,7 @@ p->timeTotal = clock() - clkTotal; pResult = Dch_DeriveChoiceAig( pAig ); // count the number of representatives if ( pPars->fVerbose ) - printf( "STATS: Reprs = %6d. Equivs = %6d. Choices = %6d.\n", + Abc_Print( 1, "STATS: Reprs = %6d. Equivs = %6d. Choices = %6d.\n", Dch_DeriveChoiceCountReprs( pAig ), Dch_DeriveChoiceCountEquivs( pResult ), Aig_ManChoiceNum( pResult ) ); @@ -135,3 +154,5 @@ p->timeTotal = clock() - clkTotal; //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + |