RealAlgebraicNumberFactory.h File Reference

Go to the source code of this file.

Data Structures
class	GiNaCRA::RealAlgebraicNumberFactory
	A class providing useful static methods which produce instances of RealAlgebraicNumberIR. More...
Namespaces
namespace	GiNaCRA
	Implementation of the class Constraint.
Typedefs
typedef std::map< symbol, RealAlgebraicNumberIRPtr, GiNaC::ex_is_less >	GiNaCRA::evalmap