Searched refs:EpsRational (Results 1 – 4 of 4) sorted by relevance
277 class EpsRational {347 static const EpsRational Zero;354 EpsRational(const EpsRational& r) : type(r.type), q(r.q), k(r.k) {} in EpsRational() function378 inline EpsRational operator + (const EpsRational& r) const {390 inline EpsRational& operator += (const EpsRational& r) {403 inline EpsRational operator - (const EpsRational& r) const {417 return EpsRational(a * q, a * k);537 EpsRational bound;576 EpsRational bound;609 CDMap<Expr, EpsRational> beta;[all …]
473 class EpsRational {551 static const EpsRational PlusInfinity;555 static const EpsRational Zero;562 EpsRational(const EpsRational& r) : type(r.type), q(r.q), k(r.k) {} in EpsRational() function586 inline EpsRational operator + (const EpsRational& r) const {598 inline EpsRational& operator += (const EpsRational& r) {611 inline EpsRational operator - (const EpsRational& r) const {620 inline EpsRational operator - () {636 return EpsRational(a * q, a * k);647 return EpsRational(q / a, k / a);[all …]
2637 EpsRational old_value = getBeta(x_i); in update()2696 EpsRational b = getBeta(x_j); in pivotAndUpdate()3124 return beta[x] = EpsRational::Zero; in getBeta()3127 if (EpsRational::Zero < getLowerBound(x) || getUpperBound(x) < EpsRational::Zero) in getBeta()3215 EpsRational bound; in assertFact()3221 EpsRational oldBound; in assertFact()3326 EpsRational varValue(0); in updateValue()3440 const TheoryArithNew::EpsRational TheoryArithNew::EpsRational::PlusInfinity(PLUS_INFINITY);3442 const TheoryArithNew::EpsRational TheoryArithNew::EpsRational::MinusInfinity(MINUS_INFINITY);3444 const TheoryArithNew::EpsRational TheoryArithNew::EpsRational::Zero;[all …]
4780 return EpsRational::PlusInfinity; in getEdgeWeight()4805 EpsRational c(bound, k); in addEdge()4816 EpsRational difference = edgeInfo.length - c; in addEdge()4959 if (!cycle || combined_length <= EpsRational::Zero) { in tryUpdate()4961 if (!cycle || combined_length < EpsRational::Zero) { in tryUpdate()5012 if (cycle && combined_length < EpsRational::Zero) in tryUpdate()5188 const TheoryArithOld::DifferenceLogicGraph::EpsRational TheoryArithOld::DifferenceLogicGraph::EpsRa…5190 const TheoryArithOld::DifferenceLogicGraph::EpsRational TheoryArithOld::DifferenceLogicGraph::EpsRa…5192 const TheoryArithOld::DifferenceLogicGraph::EpsRational TheoryArithOld::DifferenceLogicGraph::EpsRa…5413 DifferenceLogicGraph::EpsRational upperBound = DifferenceLogicGraph::EpsRational::PlusInfinity; in getUpperBound()[all …]