CVC3
2.4.1
|
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) |
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.