Searched refs:MaxDisjunctionsInPwAff (Results 1 – 1 of 1) sorted by relevance
35 static int const MaxDisjunctionsInPwAff = 100; variable55 if (NumBasicSets <= MaxDisjunctionsInPwAff) in isTooComplex()