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