Searched refs:fMiniAig (Results 1 – 1 of 1) sorted by relevance
29810 int fMiniAig = 0; in Abc_CommandAbc9Read() local29827 fMiniAig ^= 1; in Abc_CommandAbc9Read()29863 if ( fMiniAig ) in Abc_CommandAbc9Read()29880 …-m : toggles reading MiniAIG rather than AIGER file [default = %s]\n", fMiniAig? "yes": "no" ); in Abc_CommandAbc9Read()30864 int fMiniAig = 0; in Abc_CommandAbc9Write() local30880 fMiniAig ^= 1; in Abc_CommandAbc9Write()30918 else if ( fMiniAig ) in Abc_CommandAbc9Write()30931 …Abc_Print( -2, "\t-m : toggle writing MiniAIG rather than AIGER [default = %s]\n", fMiniAig? "… in Abc_CommandAbc9Write()