Numeric.h File Reference

#include <iostream>
#include <cassert>
#include <smtrat-common/smtrat-common.h>

Include dependency graph for Numeric.h:

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

Go to the source code of this file.

Data Structures
class	smtrat::lra::Numeric

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::lra

Functions
Numeric	smtrat::lra::abs (const Numeric &_value)
	Calculates the absolute value of the given Numeric. More...
Numeric	smtrat::lra::mod (const Numeric &_valueA, const Numeric &_valueB)
	Calculates the result of the first argument modulo the second argument. More...
Numeric	smtrat::lra::lcm (const Numeric &_valueA, const Numeric &_valueB)
	Calculates the least common multiple of the two arguments. More...
Numeric	smtrat::lra::gcd (const Numeric &_valueA, const Numeric &_valueB)
	Calculates the greatest common divisor of the two arguments. More...
Numeric	smtrat::lra::operator+ (const Numeric &_valueA, const Numeric &_valueB)
	Calculates the sum of the two given Numerics. More...
Numeric	smtrat::lra::operator- (const Numeric &_valueA, const Numeric &_valueB)
	Calculates the difference between the two given Numerics. More...
Numeric	smtrat::lra::operator* (const Numeric &_valueA, const Numeric &_valueB)
	Calculates the product of the two given Numerics. More...
Numeric	smtrat::lra::operator/ (const Numeric &_valueA, const Numeric &_valueB)
	Calculates the division of the two given Numerics. More...
Numeric &	smtrat::lra::operator+= (Numeric &_valueA, const Numeric &_valueB)
	Adds the value of the second given Numeric to the second given Numeric. More...
Numeric &	smtrat::lra::operator-= (Numeric &_valueA, const Numeric &_valueB)
	Subtracts the second given Numeric to the first given Numeric. More...
Numeric &	smtrat::lra::operator*= (Numeric &_valueA, const Numeric &_valueB)
	Multiplies the second given Numeric to the first given Numeric. More...
Numeric &	smtrat::lra::operator/= (Numeric &_valueA, const Numeric &_valueB)
	Divides the first given Numeric by the second given Numeric. More...
Numeric	smtrat::lra::operator- (const Numeric &_value)
	Calculates the additive inverse of the given Numeric. More...
Numeric &	smtrat::lra::operator++ (Numeric &_value)
	Increments the given Numeric by one. More...
Numeric &	smtrat::lra::operator-- (Numeric &_value)
	Decrements the given Numeric by one. More...
std::ostream &	smtrat::lra::operator<< (std::ostream &_out, const Numeric &_value)
	Prints the given Numerics representation on the given output stream. More...

Detailed Description

Author

Florian Corzilius corzi.nosp@m.lius.nosp@m.@cs.r.nosp@m.wth-.nosp@m.aache.nosp@m.n.de

Version

2013-04-15 Created on April 15th, 2013

Definition in file Numeric.h.