ArithmeticTerm Class Reference

Inheritance diagram for ArithmeticTerm:

List of all members.

Public Member Functions
	ArithmeticTerm (const map< Term *, long int > &elems, long int constant)
const map< Term *, long int > &	get_elems ()
long int	get_constant ()
virtual bool	operator== (const Term &other)
virtual string	to_string ()
virtual Term *	substitute (map< Term *, Term * > &subs)
long int	get_gcd (bool include_constant)
bool	has_only_negative_coefficients ()
Term *	get_base ()
Static Public Member Functions
static Term *	make (const map< Term *, long int > &elems, long int constant)
static Term *	make (const map< Term *, long int > &elems)
static ArithmeticTerm *	_make (const map< Term *, long int > &elems, long int constant)
Protected Member Functions
	ArithmeticTerm (Term *t1, long int c1, Term *t2, long int c2)
	ArithmeticTerm (Term *t, long int c)
Friends
class	boost::serialization::access

---

Constructor & Destructor Documentation

ArithmeticTerm::ArithmeticTerm	(	Term *	t1,
		long int	c1,
		Term *	t2,
		long int	c2
	)		[protected]

c1*t1 + c2*t2

ArithmeticTerm::ArithmeticTerm	(	Term *	t,
		long int	c
	)		[protected]

t * c

---

The documentation for this class was generated from the following files:

• term/ArithmeticTerm.h
• term/ArithmeticTerm.cpp