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