Searched refs:constrainedAbove (Results 1 – 1 of 1) sorted by relevance
5572 if (!constrainedAbove) constrainedAbove = upperBound.isFinite(); in computeTermBounds()5593 constrainedAbove = true; in computeTermBounds()5596 if (!constrainedAbove) constrainedAbove = isConstrainedAbove(rhs, QueryWithCacheAll); in computeTermBounds()5602 else if (!constrainedAbove) { in computeTermBounds()5615 else constrainedAbove = d_inModelCreation; in computeTermBounds()5619 if (constrainedAbove) termConstrainedAbove[v] = true; in computeTermBounds()5713 bool constrainedAbove = true; in isConstrainedAbove() local5717 constrainedAbove = false; in isConstrainedAbove()5732 for (int i = 0; i < t.arity() && constrainedAbove; i ++) in isConstrainedAbove()5738 if (constrainedAbove) termConstrainedAbove[t] = true; in isConstrainedAbove()[all …]