Searched refs:hasInvalidConstraint (Results 1 – 2 of 2) sorted by relevance
491 bool IntegerRelation::hasInvalidConstraint() const { in hasInvalidConstraint() function in IntegerRelation595 if (isEmptyByGCDTest() || hasInvalidConstraint()) in isEmpty()602 if (tmpCst.isEmptyByGCDTest() || tmpCst.hasInvalidConstraint()) in isEmpty()614 if (tmpCst.hasInvalidConstraint() || tmpCst.isEmptyByGCDTest()) in isEmpty()634 if (tmpCst.hasInvalidConstraint()) in isEmpty()
617 bool hasInvalidConstraint() const;