Searched refs:fDumpCnf (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcQbf.c | 64 void Abc_NtkQbf( Abc_Ntk_t * pNtk, int nPars, int nItersMax, int fDumpCnf, int fVerbose ) in Abc_NtkQbf() argument
78 if ( fDumpCnf ) in Abc_NtkQbf()
|
| H A D | abc.c | 15919 int fDumpCnf; in Abc_CommandQbf() local
15922 extern void Abc_NtkQbf( Abc_Ntk_t * pNtk, int nPars, int nIters, int fDumpCnf, int fVerbose ); in Abc_CommandQbf()
15926 fDumpCnf = 0; in Abc_CommandQbf()
15956 fDumpCnf ^= 1; in Abc_CommandQbf()
15988 Abc_NtkQbf( pNtk, nPars, nIters, fDumpCnf, fVerbose ); in Abc_CommandQbf()
15992 Abc_NtkQbf( pNtk, nPars, nIters, fDumpCnf, fVerbose ); in Abc_CommandQbf()
16002 …-d : toggle dumping QDIMACS file instead of solving [default = %s]\n", fDumpCnf? "yes": "no" ); in Abc_CommandQbf()
43672 int fDumpCnf = 0; in Abc_CommandAbc9Qbf() local
43725 fDumpCnf ^= 1; in Abc_CommandAbc9Qbf()
43759 if ( fDumpCnf ) in Abc_CommandAbc9Qbf()
[all …]
|