Searched defs:fClustered (Results 1 – 2 of 2) sorted by relevance
1039 void For_ManExperiment( Gia_Man_t * pGia, int nIters, int fClustered, int fVerbose ) in For_ManExperiment()
36951 int fClustered = 1; in Abc_CommandAbc9Force() local