CVC3::TheoryArithNew::TheoryArithNew::EpsRational Member List

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

EpsRational(RationalType type)	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline, protected]
EpsRational()	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
EpsRational(const EpsRational &r)	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
EpsRational(const Rational q)	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
EpsRational(const Rational q, const Rational k)	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
FINITE enum value	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[protected]
getFloor() const	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
getRational() const	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
isInteger() const	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
isRational() const	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
k	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[protected]
MINUS_INFINITY enum value	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[protected]
MinusInfinity	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[static]
operator*(const Rational &a) const	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
operator+(const EpsRational &r) const	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
operator+=(const EpsRational &r)	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
operator-(const EpsRational &r) const	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
operator/(const Rational &a) const	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
operator<(const EpsRational &r) const	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
operator<=(const EpsRational &r) const	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
operator==(const EpsRational &r) const	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
operator>(const EpsRational &r) const	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
PLUS_INFINITY enum value	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[protected]
PlusInfinity	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[static]
q	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[protected]
RationalType enum name	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[protected]
toString() const	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[inline]
type	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[protected]
Zero	CVC3::TheoryArithNew::TheoryArithNew::EpsRational	[static]