Searched defs:ClassConstraint (Results 1 – 1 of 1) sorted by relevance
1048 [](const std::pair<EquivalenceClass, RangeSet> &ClassConstraint) { in areFeasible()2669 const RangeSet *ClassConstraint = getConstraint(State, Class); in simplify() local2704 const RangeSet *ClassConstraint = getConstraint(State, Class); in simplify() local