Searched refs:CutoffForExact (Results 1 – 1 of 1) sorted by relevance
40 static cl::opt<unsigned> CutoffForExact( variable786 bool BelowCutoff = (CutoffForExact > 0) && ProblemSize <= CutoffForExact; in solve()