Searched defs:calcUpperBound (Results 1 – 1 of 1) sorted by relevance
59 virtual double calcUpperBound(double oldUpperBound) const { return oldUpperBound; } in calcUpperBound() function in SameValueSubstitution116 virtual double calcUpperBound(double /*oldUpperBound*/) const { return divisor; } in calcUpperBound() function in MultiplierSubstitution169 virtual double calcUpperBound(double /*oldUpperBound*/) const { return divisor; } in calcUpperBound() function in ModulusSubstitution197 virtual double calcUpperBound(double /*oldUpperBound*/) const { return DBL_MAX; } in calcUpperBound() function in IntegralPartSubstitution234 virtual double calcUpperBound(double /*oldUpperBound*/) const { return 0.0; } in calcUpperBound() function in FractionalPartSubstitution257 virtual double calcUpperBound(double /*oldUpperBound*/) const { return DBL_MAX; } in calcUpperBound() function in AbsoluteValueSubstitution307 virtual double calcUpperBound(double /*oldUpperBound*/) const { return denominator; } in calcUpperBound() function in NumeratorSubstitution342 virtual double calcUpperBound(double /*oldUpperBound*/) const { return 0; } // never called in calcUpperBound() function in NullSubstitution