reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced
182 if (S.n_basic_set() > MaxDisjunctsInContext)