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