Public Member Functions | Static Public Member Functions | Protected Member Functions | Friends
ILPLeaf Class Reference
Inheritance diagram for ILPLeaf:
Leaf CNode

List of all members.

Public Member Functions

virtual bool operator== (const CNode &other)
virtual string to_string ()
ilp_leaf_type get_operator ()
const map< Term *, long int > & get_elems ()
long int get_constant ()
long get_coefficient (Term *t)
bool contains_elem (Term *t)
CNoderemove_elem (Term *t)
CNodenegate (bool remove_all_negations=false)
virtual CNodesubstitute (map< Term *, Term * > &subs)
CNodemultiply (long int factor)
CNodeadd (ILPLeaf *other)
string pretty_print_ilp (bool neg)
virtual CNodedivide (long int c, Term *t)

Static Public Member Functions

static CNodemake (ilp_leaf_type kind, const map< Term *, long int > &elems, long int constant)
static CNodemake (Term *t1, Term *t2, ilp_leaf_type kind)
static string ilp_leaf_type_to_string (ilp_leaf_type t)

Protected Member Functions

 ILPLeaf (ilp_leaf_type kind, const map< Term *, long int > &elems, long int constant)


class boost::serialization::access

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