Inheritance diagram for ILPLeaf:
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) |
| CNode * | remove_elem (Term *t) |
| CNode * | negate (bool remove_all_negations=false) |
| virtual CNode * | substitute (map< Term *, Term * > &subs) |
| CNode * | multiply (long int factor) |
| CNode * | add (ILPLeaf *other) |
| string | pretty_print_ilp (bool neg) |
| virtual CNode * | divide (long int c, Term *t) |
Static Public Member Functions | |
| static CNode * | make (ilp_leaf_type kind, const map< Term *, long int > &elems, long int constant) |
| static CNode * | make (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) | |
Friends | |
| class | boost::serialization::access |
The documentation for this class was generated from the following files:
- cnode/ILPLeaf.h
- cnode/ILPLeaf.cpp
