CVC3
CVC3::Rational Member List

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

abs(const Rational &x)CVC3::Rationalfriend
ceil(const Rational &x)CVC3::Rationalfriend
d_nCVC3::Rationalprivate
floor(const Rational &x)CVC3::Rationalfriend
gcd(const Rational &x, const Rational &y)CVC3::Rationalfriend
gcd(const std::vector< Rational > &v)CVC3::Rationalfriend
getDenominator() const CVC3::Rational
getInt() const CVC3::Rational
getNumerator() const CVC3::Rational
getUnsigned() const CVC3::Rational
getUnsignedMP() const CVC3::Rational
hash() const CVC3::Rational
intRoot(const Rational &base, unsigned long int n)CVC3::Rationalfriend
isInteger() const CVC3::Rational
isUnsigned() const CVC3::Rationalinline
lcm(const Rational &x, const Rational &y)CVC3::Rationalfriend
lcm(const std::vector< Rational > &v)CVC3::Rationalfriend
mod(const Rational &x, const Rational &y)CVC3::Rationalfriend
operator!=(const Rational &n1, const Rational &n2)CVC3::Rationalfriend
operator%(const Rational &n1, const Rational &n2)CVC3::Rationalfriend
operator*(const Rational &n1, const Rational &n2)CVC3::Rationalfriend
operator*=(const Rational &n2)CVC3::Rational
operator+(const Rational &n1, const Rational &n2)CVC3::Rationalfriend
operator++()CVC3::Rationalinline
operator++(int)CVC3::Rationalinline
operator+=(const Rational &n2)CVC3::Rational
operator-(const Rational &n1, const Rational &n2)CVC3::Rationalfriend
operator-() const CVC3::Rational
operator--()CVC3::Rationalinline
operator--(int)CVC3::Rationalinline
operator-=(const Rational &n2)CVC3::Rational
operator/(const Rational &n1, const Rational &n2)CVC3::Rationalfriend
operator/=(const Rational &n2)CVC3::Rational
operator<(const Rational &n1, const Rational &n2)CVC3::Rationalfriend
operator<<(std::ostream &os, const Rational &n)CVC3::Rationalfriend
operator<<(std::ostream &os, const Impl &n)CVC3::Rationalfriend
operator<=(const Rational &n1, const Rational &n2)CVC3::Rationalfriend
operator=(const Rational &n)CVC3::Rational
operator==(const Rational &n1, const Rational &n2)CVC3::Rationalfriend
operator>(const Rational &n1, const Rational &n2)CVC3::Rationalfriend
operator>=(const Rational &n1, const Rational &n2)CVC3::Rationalfriend
print() const CVC3::Rational
Rational(const Impl &t)CVC3::Rationalprivate
Rational()CVC3::Rational
Rational(const Rational &n)CVC3::Rational
Rational(const Unsigned &n)CVC3::Rational
Rational(int n, int d=1)CVC3::Rational
Rational(const char *n, int base=10)CVC3::Rational
Rational(const std::string &n, int base=10)CVC3::Rational
Rational(const char *n, const char *d, int base=10)CVC3::Rational
Rational(const std::string &n, const std::string &d, int base=10)CVC3::Rational
toString(int base=10) const CVC3::Rational
Unsigned classCVC3::Rationalfriend
~Rational()CVC3::Rational