Searched defs:calcUpperBound (Results 1 – 1 of 1) sorted by relevance
57 virtual double calcUpperBound(double oldUpperBound) const { return oldUpperBound; } in calcUpperBound() function in SameValueSubstitution111 virtual double calcUpperBound(double /*oldUpperBound*/) const { return divisor; } in calcUpperBound() function in MultiplierSubstitution161 virtual double calcUpperBound(double /*oldUpperBound*/) const { return divisor; } in calcUpperBound() function in ModulusSubstitution184 virtual double calcUpperBound(double /*oldUpperBound*/) const { return DBL_MAX; } in calcUpperBound() function in IntegralPartSubstitution218 virtual double calcUpperBound(double /*oldUpperBound*/) const { return 0.0; } in calcUpperBound() function in FractionalPartSubstitution238 virtual double calcUpperBound(double /*oldUpperBound*/) const { return DBL_MAX; } in calcUpperBound() function in AbsoluteValueSubstitution285 virtual double calcUpperBound(double /*oldUpperBound*/) const { return denominator; } in calcUpperBound() function in NumeratorSubstitution317 virtual double calcUpperBound(double /*oldUpperBound*/) const { return 0; } // never called in calcUpperBound() function in NullSubstitution