add_constraint(const Row &row, const Variables_Set ¶meters) | Parma_Polyhedra_Library::PIP_Tree_Node | protected |
art_parameter_begin() const | Parma_Polyhedra_Library::PIP_Tree_Node | inline |
art_parameter_count() const | Parma_Polyhedra_Library::PIP_Tree_Node | inline |
art_parameter_end() const | Parma_Polyhedra_Library::PIP_Tree_Node | inline |
Artificial_Parameter_Sequence typedef | Parma_Polyhedra_Library::PIP_Tree_Node | |
artificial_parameters | Parma_Polyhedra_Library::PIP_Tree_Node | protected |
as_decision() const | Parma_Polyhedra_Library::PIP_Solution_Node | virtual |
as_solution() const | Parma_Polyhedra_Library::PIP_Solution_Node | virtual |
ascii_dump(std::ostream &os) const | Parma_Polyhedra_Library::PIP_Solution_Node | |
ascii_load(std::istream &is) | Parma_Polyhedra_Library::PIP_Solution_Node | |
basis | Parma_Polyhedra_Library::PIP_Solution_Node | private |
big_dimension | Parma_Polyhedra_Library::PIP_Solution_Node | private |
check_ownership(const PIP_Problem *owner) const | Parma_Polyhedra_Library::PIP_Solution_Node | protectedvirtual |
clone() const | Parma_Polyhedra_Library::PIP_Solution_Node | virtual |
compatibility_check(Matrix< Row > &s) | Parma_Polyhedra_Library::PIP_Tree_Node | protectedstatic |
compatibility_check(const Matrix< Row > &context, const Row &row) | Parma_Polyhedra_Library::PIP_Tree_Node | protectedstatic |
Constraint_Sequence typedef | Parma_Polyhedra_Library::PIP_Tree_Node | protected |
constraints() const | Parma_Polyhedra_Library::PIP_Tree_Node | inline |
constraints_ | Parma_Polyhedra_Library::PIP_Tree_Node | protected |
external_memory_in_bytes() const | Parma_Polyhedra_Library::PIP_Solution_Node | virtual |
generate_cut(dimension_type index, Variables_Set ¶meters, Matrix< Row > &context, dimension_type &space_dimension, int indent_level) | Parma_Polyhedra_Library::PIP_Solution_Node | protected |
get_owner() const | Parma_Polyhedra_Library::PIP_Tree_Node | inlineprotected |
indent_and_print(std::ostream &s, int indent, const char *str) | Parma_Polyhedra_Library::PIP_Tree_Node | protectedstatic |
mapping | Parma_Polyhedra_Library::PIP_Solution_Node | private |
MIXED enum value | Parma_Polyhedra_Library::PIP_Solution_Node | private |
NEGATIVE enum value | Parma_Polyhedra_Library::PIP_Solution_Node | private |
OK() const | Parma_Polyhedra_Library::PIP_Solution_Node | virtual |
operator<<(std::ostream &os, const PIP_Tree_Node &x) | Parma_Polyhedra_Library::PIP_Tree_Node | related |
owner_ | Parma_Polyhedra_Library::PIP_Tree_Node | protected |
parametric_values(Variable var) const | Parma_Polyhedra_Library::PIP_Solution_Node | |
parent() const | Parma_Polyhedra_Library::PIP_Tree_Node | inlineprotected |
parent_ | Parma_Polyhedra_Library::PIP_Tree_Node | protected |
parent_merge() | Parma_Polyhedra_Library::PIP_Tree_Node | protected |
PIP_Problem::ascii_load(std::istream &s) | Parma_Polyhedra_Library::PIP_Solution_Node | friend |
PIP_Solution_Node(const PIP_Problem *owner) | Parma_Polyhedra_Library::PIP_Solution_Node | explicit |
PIP_Solution_Node(const PIP_Solution_Node &y) | Parma_Polyhedra_Library::PIP_Solution_Node | protected |
PIP_Solution_Node(const PIP_Solution_Node &y, No_Constraints) | Parma_Polyhedra_Library::PIP_Solution_Node | protected |
PIP_Tree_Node(const PIP_Problem *owner) | Parma_Polyhedra_Library::PIP_Tree_Node | explicitprotected |
PIP_Tree_Node(const PIP_Tree_Node &y) | Parma_Polyhedra_Library::PIP_Tree_Node | protected |
POSITIVE enum value | Parma_Polyhedra_Library::PIP_Solution_Node | private |
print(std::ostream &s, int indent=0) const | Parma_Polyhedra_Library::PIP_Tree_Node | |
print_tree(std::ostream &s, int indent, const std::vector< bool > &pip_dim_is_param, dimension_type first_art_dim) const | Parma_Polyhedra_Library::PIP_Solution_Node | protectedvirtual |
Row typedef | Parma_Polyhedra_Library::PIP_Tree_Node | |
row_sign(const Row &x, dimension_type big_dimension) | Parma_Polyhedra_Library::PIP_Solution_Node | privatestatic |
Row_Sign enum name | Parma_Polyhedra_Library::PIP_Solution_Node | private |
set_owner(const PIP_Problem *owner) | Parma_Polyhedra_Library::PIP_Solution_Node | protectedvirtual |
set_parent(const PIP_Decision_Node *p) | Parma_Polyhedra_Library::PIP_Tree_Node | inlineprotected |
sign | Parma_Polyhedra_Library::PIP_Solution_Node | private |
solution | Parma_Polyhedra_Library::PIP_Solution_Node | private |
solution_valid | Parma_Polyhedra_Library::PIP_Solution_Node | private |
solve(const PIP_Problem &pip, bool check_feasible_context, const Matrix< Row > &context, const Variables_Set ¶ms, dimension_type space_dim, int indent_level) | Parma_Polyhedra_Library::PIP_Solution_Node | protectedvirtual |
special_equality_row | Parma_Polyhedra_Library::PIP_Solution_Node | private |
tableau | Parma_Polyhedra_Library::PIP_Solution_Node | private |
total_memory_in_bytes() const | Parma_Polyhedra_Library::PIP_Solution_Node | virtual |
UNKNOWN enum value | Parma_Polyhedra_Library::PIP_Solution_Node | private |
update_solution(const std::vector< bool > &pip_dim_is_param) const | Parma_Polyhedra_Library::PIP_Solution_Node | protected |
update_solution() const | Parma_Polyhedra_Library::PIP_Solution_Node | protected |
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) | Parma_Polyhedra_Library::PIP_Solution_Node | protectedvirtual |
var_column | Parma_Polyhedra_Library::PIP_Solution_Node | private |
var_row | Parma_Polyhedra_Library::PIP_Solution_Node | private |
ZERO enum value | Parma_Polyhedra_Library::PIP_Solution_Node | private |
~PIP_Solution_Node() | Parma_Polyhedra_Library::PIP_Solution_Node | virtual |
~PIP_Tree_Node() | Parma_Polyhedra_Library::PIP_Tree_Node | virtual |