CVC3  2.4.1
CVC3::TheoryArithNew::EpsRational Member List

This is the complete list of members for CVC3::TheoryArithNew::EpsRational, including all inherited members.

EpsRational(RationalType type)CVC3::TheoryArithNew::EpsRationalinlineprotected
EpsRational()CVC3::TheoryArithNew::EpsRationalinline
EpsRational(const EpsRational &r)CVC3::TheoryArithNew::EpsRationalinline
EpsRational(const Rational q)CVC3::TheoryArithNew::EpsRationalinline
EpsRational(const Rational q, const Rational k)CVC3::TheoryArithNew::EpsRationalinline
FINITE enum valueCVC3::TheoryArithNew::EpsRationalprotected
getFloor() const CVC3::TheoryArithNew::EpsRationalinline
getRational() const CVC3::TheoryArithNew::EpsRationalinline
isInteger() const CVC3::TheoryArithNew::EpsRationalinline
isRational() const CVC3::TheoryArithNew::EpsRationalinline
kCVC3::TheoryArithNew::EpsRationalprotected
MINUS_INFINITY enum valueCVC3::TheoryArithNew::EpsRationalprotected
MinusInfinityCVC3::TheoryArithNew::EpsRationalstatic
operator*(const Rational &a) const CVC3::TheoryArithNew::EpsRationalinline
operator+(const EpsRational &r) const CVC3::TheoryArithNew::EpsRationalinline
operator+=(const EpsRational &r)CVC3::TheoryArithNew::EpsRationalinline
operator-(const EpsRational &r) const CVC3::TheoryArithNew::EpsRationalinline
operator/(const Rational &a) const CVC3::TheoryArithNew::EpsRationalinline
operator<(const EpsRational &r) const CVC3::TheoryArithNew::EpsRationalinline
operator<=(const EpsRational &r) const CVC3::TheoryArithNew::EpsRationalinline
operator==(const EpsRational &r) const CVC3::TheoryArithNew::EpsRationalinline
operator>(const EpsRational &r) const CVC3::TheoryArithNew::EpsRationalinline
PLUS_INFINITY enum valueCVC3::TheoryArithNew::EpsRationalprotected
PlusInfinityCVC3::TheoryArithNew::EpsRationalstatic
qCVC3::TheoryArithNew::EpsRationalprotected
RationalType enum nameCVC3::TheoryArithNew::EpsRationalprotected
toString() const CVC3::TheoryArithNew::EpsRationalinline
typeCVC3::TheoryArithNew::EpsRationalprotected
ZeroCVC3::TheoryArithNew::EpsRationalstatic