Classes |
struct | No_Constraints |
| A tag type to select the alternative copy constructor. More...
|
Public Member Functions |
| PIP_Solution_Node (const PIP_Problem *owner) |
| Constructor: builds a solution node owned by *owner .
|
virtual PIP_Tree_Node * | clone () const |
| Returns a pointer to a dynamically-allocated copy of *this .
|
virtual | ~PIP_Solution_Node () |
| Destructor.
|
virtual bool | OK () const |
| Returns true if and only if *this is well formed.
|
virtual const PIP_Solution_Node * | as_solution () const |
| Returns this .
|
virtual const PIP_Decision_Node * | as_decision () const |
| Returns 0, since this is not a decision node.
|
const Linear_Expression & | parametric_values (Variable var) const |
| Returns a parametric expression for the values of problem variable var .
|
void | ascii_dump (std::ostream &os) const |
| Dumps to os an ASCII representation of *this .
|
bool | ascii_load (std::istream &is) |
| Loads from is an ASCII representation (as produced by ascii_dump(std::ostream&) const) and sets *this accordingly. Returns true if successful, false otherwise.
|
virtual memory_size_type | total_memory_in_bytes () const |
| Returns the total size in bytes of the memory occupied by *this .
|
virtual memory_size_type | external_memory_in_bytes () const |
| Returns the size in bytes of the memory managed by *this .
|
Protected Member Functions |
| PIP_Solution_Node (const PIP_Solution_Node &y) |
| Copy constructor.
|
| PIP_Solution_Node (const PIP_Solution_Node &y, No_Constraints) |
| Alternative copy constructor.
|
virtual void | set_owner (const PIP_Problem *owner) |
| Sets the pointer to the PIP_Problem owning object.
|
virtual bool | check_ownership (const PIP_Problem *owner) const |
| Returns true if and only if all the nodes in the subtree rooted in *this is owned by *pip .
|
virtual void | update_tableau (const PIP_Problem &pip, dimension_type external_space_dim, dimension_type first_pending_constraint, const Constraint_Sequence &input_cs, const Variables_Set ¶meters) |
| Implements pure virtual method PIP_Tree_Node::update_tableau.
|
void | update_solution (const std::vector< bool > &pip_dim_is_param) const |
| Update the solution values.
|
void | update_solution () const |
| Helper method.
|
virtual PIP_Tree_Node * | solve (const PIP_Problem &pip, bool check_feasible_context, const Matrix &context, const Variables_Set ¶ms, dimension_type space_dim, int indent_level) |
| Implements pure virtual method PIP_Tree_Node::solve.
|
void | generate_cut (dimension_type index, Variables_Set ¶meters, Matrix &context, dimension_type &space_dimension, int indent_level) |
| Generate a Gomory cut using non-integer tableau row i .
|
virtual void | print_tree (std::ostream &s, int indent, const std::vector< bool > &pip_dim_is_param, dimension_type first_art_dim) const |
| Prints on s the tree rooted in *this .
|
A tree node representing part of the space of solutions.