Searched refs:MaxDisjunctsInContext (Results 1 – 1 of 1) sorted by relevance
119 static int const MaxDisjunctsInContext = 4; variable183 if (S.n_basic_set() > MaxDisjunctsInContext) in addRangeBoundsToSet()