rational.h File Reference

#include <vector>
#include "debug.h"

Go to the source code of this file.

Classes

• class CVC3::Rational
• class CVC3::Unsigned

Namespaces

• namespace CVC3

Functions

• Rational CVC3::pow (Rational pow, const Rational &base)

  Raise 'base' into the power of 'pow' (pow must be an integer)
  

• Rational CVC3::ratRoot (const Rational &base, unsigned long int n)

  take nth root of base, return result if it is exact, 0 otherwise
  

• Rational CVC3::newRational (int n, int d=1)
• Rational CVC3::newRational (const char *n, int base=10)
• Rational CVC3::newRational (const std::string &n, int base=10)
• Rational CVC3::newRational (const char *n, const char *d, int base=10)
• Rational CVC3::newRational (const std::string &n, const std::string &d, int base=10)
• void CVC3::printRational (const Rational &x)
• Unsigned CVC3::pow (Unsigned pow, const Unsigned &base)

  Raise 'base' into the power of 'pow' (pow must be an integer)
  

• Unsigned CVC3::newUnsigned (int n)
• Unsigned CVC3::newUnsigned (const char *n, int base=10)
• Unsigned CVC3::newUnsigned (const std::string &n, int base=10)
• void CVC3::printUnsigned (const Unsigned &x)

---

Detailed Description

Author: Sergey Berezin

Created: Dec 12 22:00:18 GMT 2002

---

License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.

---

Definition in file rational.h.