Searched refs:getRationalValue (Results 1 – 5 of 5) sorted by relevance
98 final Rational leftRational = getRationalValue(); in compareTo()110 return getRationalValue().doubleValue(); in getDoubleValue()125 public final Rational getRationalValue() { in getRationalValue() method in RationalMetaValue
228 const double approximation = sexpr.getRationalValue().getDouble(); in toStreamRec()314 const CVC4::Rational& SExpr::getRationalValue() const { in getRationalValue() function in CVC4::SExpr
128 const CVC4::Rational& getRationalValue() const;
786 ((RationalMetaValue)value).getRationalValue(); in valueToString()
2382 (value.isRational() && value.getRationalValue() == Rational(2)) || in setInfo()2386 } else if( (value.isRational() && value.getRationalValue() == Rational(5, 2)) || in setInfo()2389 } else if( (value.isRational() && value.getRationalValue() == Rational(13, 5)) || in setInfo()