CVC3  2.4.1
Classes | Namespaces | Functions
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) More...
 
Rational CVC3::ratRoot (const Rational &base, unsigned long int n)
 take nth root of base, return result if it is exact, 0 otherwise More...
 
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) More...
 
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.