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::EpsRational [inline, protected]
EpsRational()CVC3::TheoryArithNew::EpsRational [inline]
EpsRational(const EpsRational &r)CVC3::TheoryArithNew::EpsRational [inline]
EpsRational(const Rational q)CVC3::TheoryArithNew::EpsRational [inline]
EpsRational(const Rational q, const Rational k)CVC3::TheoryArithNew::EpsRational [inline]
EpsRational(RationalType type)CVC3::TheoryArithNew::EpsRational [inline, protected]
EpsRational()CVC3::TheoryArithNew::EpsRational [inline]
EpsRational(const EpsRational &r)CVC3::TheoryArithNew::EpsRational [inline]
EpsRational(const Rational q)CVC3::TheoryArithNew::EpsRational [inline]
EpsRational(const Rational q, const Rational k)CVC3::TheoryArithNew::EpsRational [inline]
FINITE enum valueCVC3::TheoryArithNew::EpsRational [protected]
getFloor() constCVC3::TheoryArithNew::EpsRational [inline]
getFloor() constCVC3::TheoryArithNew::EpsRational [inline]
getRational() constCVC3::TheoryArithNew::EpsRational [inline]
getRational() constCVC3::TheoryArithNew::EpsRational [inline]
isInteger() constCVC3::TheoryArithNew::EpsRational [inline]
isInteger() constCVC3::TheoryArithNew::EpsRational [inline]
isRational() constCVC3::TheoryArithNew::EpsRational [inline]
isRational() constCVC3::TheoryArithNew::EpsRational [inline]
kCVC3::TheoryArithNew::EpsRational [protected]
MINUS_INFINITY enum valueCVC3::TheoryArithNew::EpsRational [protected]
MinusInfinityCVC3::TheoryArithNew::EpsRational [static]
operator *(const Rational &a) const CVC3::TheoryArithNew::EpsRational [inline]
operator *(const Rational &a) const CVC3::TheoryArithNew::EpsRational [inline]
operator+(const EpsRational &r) const CVC3::TheoryArithNew::EpsRational [inline]
operator+(const EpsRational &r) const CVC3::TheoryArithNew::EpsRational [inline]
operator+=(const EpsRational &r)CVC3::TheoryArithNew::EpsRational [inline]
operator+=(const EpsRational &r)CVC3::TheoryArithNew::EpsRational [inline]
operator-(const EpsRational &r) const CVC3::TheoryArithNew::EpsRational [inline]
operator-(const EpsRational &r) const CVC3::TheoryArithNew::EpsRational [inline]
operator/(const Rational &a) const CVC3::TheoryArithNew::EpsRational [inline]
operator/(const Rational &a) const CVC3::TheoryArithNew::EpsRational [inline]
operator<(const EpsRational &r) const CVC3::TheoryArithNew::EpsRational [inline]
operator<(const EpsRational &r) const CVC3::TheoryArithNew::EpsRational [inline]
operator<=(const EpsRational &r) const CVC3::TheoryArithNew::EpsRational [inline]
operator<=(const EpsRational &r) const CVC3::TheoryArithNew::EpsRational [inline]
operator==(const EpsRational &r) const CVC3::TheoryArithNew::EpsRational [inline]
operator==(const EpsRational &r) const CVC3::TheoryArithNew::EpsRational [inline]
operator>(const EpsRational &r) const CVC3::TheoryArithNew::EpsRational [inline]
operator>(const EpsRational &r) const CVC3::TheoryArithNew::EpsRational [inline]
PLUS_INFINITY enum valueCVC3::TheoryArithNew::EpsRational [protected]
PlusInfinityCVC3::TheoryArithNew::EpsRational [static]
qCVC3::TheoryArithNew::EpsRational [protected]
RationalType enum nameCVC3::TheoryArithNew::EpsRational [protected]
RationalType enum nameCVC3::TheoryArithNew::EpsRational [protected]
toString() constCVC3::TheoryArithNew::EpsRational [inline]
toString() constCVC3::TheoryArithNew::EpsRational [inline]
typeCVC3::TheoryArithNew::EpsRational [protected]
ZeroCVC3::TheoryArithNew::EpsRational [static]


Generated on Tue Jul 3 14:38:16 2007 for CVC3 by  doxygen 1.5.1