Searched refs:fDumpFile (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
| H A D | mfsInter.c | 332 int fDumpFile = 0; in Abc_NtkMfsInterplate() local
348 if ( fDumpFile ) in Abc_NtkMfsInterplate()
357 if ( fDumpFile ) in Abc_NtkMfsInterplate()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaEra.c | 527 int Gia_ManCollectReachable( Gia_Man_t * pAig, int nStatesMax, int fMiter, int fDumpFile, int fVerb… in Gia_ManCollectReachable() argument
561 if ( Gia_ManAnalyzeResult( p, pState, fMiter, fDumpFile ) && fMiter ) in Gia_ManCollectReachable()
579 if ( fDumpFile ) in Gia_ManCollectReachable()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abc.c | 40379 int fDumpFile = 0; in Abc_CommandAbc9Era() local
40382 …extern int Gia_ManCollectReachable( Gia_Man_t * pAig, int nStatesMax, int fMiter, int fDumpFile, i… in Abc_CommandAbc9Era()
40408 fDumpFile ^= 1; in Abc_CommandAbc9Era()
40434 if ( fUseCubes && !fDumpFile ) in Abc_CommandAbc9Era()
40437 … pAbc->Status = Gia_ManCollectReachable( pAbc->pGia, nStatesMax, fMiter, fDumpFile, fVerbose ); in Abc_CommandAbc9Era()
40447 …Abc_Print( -2, "\t-d : toggle dumping STG into a file [default = %s]\n", fDumpFile? "yes": "n… in Abc_CommandAbc9Era()
|