rational.h File Reference

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

Include dependency graph for rational.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

• class CVC3::Rational

Namespaces

• namespace CVC3

Typedefs

• typedef unsigned long CVC3::Unsigned

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)

---

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.