ModLeaf Class Reference

Inheritance diagram for ModLeaf:

List of all members.

Public Member Functions
Term *	get_term ()
long int	get_mod_constant ()
void	to_ilp (set< ILPLeaf * > &ilp_leaves, bool pos, int temp_id)
virtual bool	operator== (const CNode &other)
virtual CNode *	substitute (map< Term *, Term * > &subs)
virtual string	to_string ()
VariableTerm *	get_ilp_temp (int temp_id)
pair< VariableTerm *, VariableTerm * >	get_ilp_temps (int temp_id)
Static Public Member Functions
static CNode *	make (Term *t, long int k, Term *r)
static CNode *	make (Term *t, long int k, long int r)
static CNode *	make (Term *t, long int k)
Protected Member Functions
	ModLeaf (Term *t, long int k)
Friends
class	boost::serialization::access

---

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

• cnode/ModLeaf.h
• cnode/ModLeaf.cpp