Searched refs:isConstrainedBelow (Results 1 – 2 of 2) sorted by relevance
931 bool isConstrainedBelow(const Expr& t, BoundsQueryType queryType = QueryWithCacheLeaves);
5512 for(; i < t.arity() && isConstrainedBelow(t[i], QueryWithCacheLeaves); i ++); in getLowerBound()5623 bool constrainedBelow = isConstrainedBelow(v, QueryWithCacheAll); in computeTermBounds()5653 if (!constrainedBelow) constrainedBelow = isConstrainedBelow(lhs, QueryWithCacheAll); in computeTermBounds()5728 else constrainedAbove = isConstrainedBelow(v, queryType); in isConstrainedAbove()5746 bool TheoryArithOld::isConstrainedBelow(const Expr& t, BoundsQueryType queryType) in isConstrainedBelow() function in TheoryArithOld5778 if (c.getRational() > 0) constrainedBelow = isConstrainedBelow(v, queryType); in isConstrainedBelow()5785 if (!isConstrainedBelow(t[i])) in isConstrainedBelow()5804 bool result = (isConstrainedAbove(t, queryType) && isConstrainedBelow(t, queryType)); in isConstrained()