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