reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
968 if (SuccDomain) { 969 SuccDomain = SuccDomain.unite(CondSet).coalesce(); 969 SuccDomain = SuccDomain.unite(CondSet).coalesce(); 973 SuccDomain = CondSet; 976 SuccDomain = SuccDomain.detect_equalities(); 976 SuccDomain = SuccDomain.detect_equalities(); 980 if (SuccDomain.n_basic_set() < MaxDisjunctsInDomain)