Searched refs:fUseNaive (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcUnate.c | 35 static void Abc_NtkPrintUnateBdd( Abc_Ntk_t * pNtk, int fUseNaive, int fVerbose );
53 void Abc_NtkPrintUnate( Abc_Ntk_t * pNtk, int fUseBdds, int fUseNaive, int fVerbose ) in Abc_NtkPrintUnate() argument
55 if ( fUseBdds || fUseNaive ) in Abc_NtkPrintUnate()
56 Abc_NtkPrintUnateBdd( pNtk, fUseNaive, fVerbose ); in Abc_NtkPrintUnate()
72 void Abc_NtkPrintUnateBdd( Abc_Ntk_t * pNtk, int fUseNaive, int fVerbose ) in Abc_NtkPrintUnateBdd() argument
99 if ( fUseNaive ) in Abc_NtkPrintUnateBdd()
168 void Abc_NtkPrintUnate( Abc_Ntk_t * pNtk, int fUseBdds, int fUseNaive, int fVerbose ){}
|
| H A D | abc.c | 2219 int fUseNaive; in Abc_CommandPrintUnate() local
2221 extern void Abc_NtkPrintUnate( Abc_Ntk_t * pNtk, int fUseBdds, int fUseNaive, int fVerbose ); in Abc_CommandPrintUnate()
2225 fUseNaive = 0; in Abc_CommandPrintUnate()
2236 fUseNaive ^= 1; in Abc_CommandPrintUnate()
2257 Abc_NtkPrintUnate( pNtk, fUseBdds, fUseNaive, fVerbose ); in Abc_CommandPrintUnate()
2264 …Abc_Print( -2, "\t-n : toggle naive BDD-based computation [default = %s].\n", fUseNaive? "yes"… in Abc_CommandPrintUnate()
40604 int fUseNaive = 0; in Abc_CommandAbc9Rpm() local
40625 fUseNaive ^= 1; in Abc_CommandAbc9Rpm()
40647 if ( fUseNaive ) in Abc_CommandAbc9Rpm()
40660 …Abc_Print( -2, "\t-n : toggle using naive reparametrization [default = %s]\n", fUseNaive? "yes… in Abc_CommandAbc9Rpm()
|