PPL  1.2
Parma_Polyhedra_Library::PIP_Problem Member List

This is the complete list of members for Parma_Polyhedra_Library::PIP_Problem, including all inherited members.

add_constraint(const Constraint &c)Parma_Polyhedra_Library::PIP_Problem
add_constraints(const Constraint_System &cs)Parma_Polyhedra_Library::PIP_Problem
add_space_dimensions_and_embed(dimension_type m_vars, dimension_type m_params)Parma_Polyhedra_Library::PIP_Problem
add_to_parameter_space_dimensions(const Variables_Set &p_vars)Parma_Polyhedra_Library::PIP_Problem
ascii_dump() const Parma_Polyhedra_Library::PIP_Problem
ascii_dump(std::ostream &s) const Parma_Polyhedra_Library::PIP_Problem
ascii_load(std::istream &s)Parma_Polyhedra_Library::PIP_Problem
big_parameter_dimensionParma_Polyhedra_Library::PIP_Problemprivate
clear()Parma_Polyhedra_Library::PIP_Problem
const_iterator typedefParma_Polyhedra_Library::PIP_Problem
Constraint_Sequence typedefParma_Polyhedra_Library::PIP_Problemprivate
constraints_begin() const Parma_Polyhedra_Library::PIP_Probleminline
constraints_end() const Parma_Polyhedra_Library::PIP_Probleminline
Control_Parameter_Name enum nameParma_Polyhedra_Library::PIP_Problem
CONTROL_PARAMETER_NAME_SIZE enum valueParma_Polyhedra_Library::PIP_Problem
Control_Parameter_Value enum nameParma_Polyhedra_Library::PIP_Problem
CONTROL_PARAMETER_VALUE_SIZE enum valueParma_Polyhedra_Library::PIP_Problem
control_parametersParma_Polyhedra_Library::PIP_Problemprivate
control_parameters_copy(const PIP_Problem &y)Parma_Polyhedra_Library::PIP_Problemprivate
control_parameters_init()Parma_Polyhedra_Library::PIP_Problemprivate
current_solutionParma_Polyhedra_Library::PIP_Problemprivate
CUTTING_STRATEGY enum valueParma_Polyhedra_Library::PIP_Problem
CUTTING_STRATEGY_ALL enum valueParma_Polyhedra_Library::PIP_Problem
CUTTING_STRATEGY_DEEPEST enum valueParma_Polyhedra_Library::PIP_Problem
CUTTING_STRATEGY_FIRST enum valueParma_Polyhedra_Library::PIP_Problem
external_memory_in_bytes() const Parma_Polyhedra_Library::PIP_Problem
external_space_dimParma_Polyhedra_Library::PIP_Problemprivate
first_pending_constraintParma_Polyhedra_Library::PIP_Problemprivate
get_big_parameter_dimension() const Parma_Polyhedra_Library::PIP_Probleminline
get_control_parameter(Control_Parameter_Name name) const Parma_Polyhedra_Library::PIP_Probleminline
initial_contextParma_Polyhedra_Library::PIP_Problemprivate
input_csParma_Polyhedra_Library::PIP_Problemprivate
internal_space_dimParma_Polyhedra_Library::PIP_Problemprivate
is_satisfiable() const Parma_Polyhedra_Library::PIP_Problem
m_swap(PIP_Problem &y)Parma_Polyhedra_Library::PIP_Probleminline
max_space_dimension()Parma_Polyhedra_Library::PIP_Probleminlinestatic
OK() const Parma_Polyhedra_Library::PIP_Problem
operator<<(std::ostream &s, const PIP_Problem &pip)Parma_Polyhedra_Library::PIP_Problemrelated
operator<<(std::ostream &s, const PIP_Problem &pip)Parma_Polyhedra_Library::PIP_Problemrelated
operator=(const PIP_Problem &y)Parma_Polyhedra_Library::PIP_Probleminline
OPTIMIZED enum valueParma_Polyhedra_Library::PIP_Problemprivate
optimizing_solution() const Parma_Polyhedra_Library::PIP_Problem
parameter_space_dimensions() const Parma_Polyhedra_Library::PIP_Probleminline
parametersParma_Polyhedra_Library::PIP_Problemprivate
PARTIALLY_SATISFIABLE enum valueParma_Polyhedra_Library::PIP_Problemprivate
PIP_Problem(dimension_type dim=0)Parma_Polyhedra_Library::PIP_Problemexplicit
PIP_Problem(dimension_type dim, In first, In last, const Variables_Set &p_vars)Parma_Polyhedra_Library::PIP_Problem
PIP_Problem(const PIP_Problem &y)Parma_Polyhedra_Library::PIP_Problem
PIP_Solution_Node classParma_Polyhedra_Library::PIP_Problemfriend
PIVOT_ROW_STRATEGY enum valueParma_Polyhedra_Library::PIP_Problem
PIVOT_ROW_STRATEGY_FIRST enum valueParma_Polyhedra_Library::PIP_Problem
PIVOT_ROW_STRATEGY_MAX_COLUMN enum valueParma_Polyhedra_Library::PIP_Problem
print() const Parma_Polyhedra_Library::PIP_Problem
print_solution(std::ostream &s, int indent=0) const Parma_Polyhedra_Library::PIP_Problem
Row typedefParma_Polyhedra_Library::PIP_Problemprivate
set_big_parameter_dimension(dimension_type big_dim)Parma_Polyhedra_Library::PIP_Problem
set_control_parameter(Control_Parameter_Value value)Parma_Polyhedra_Library::PIP_Problem
solution() const Parma_Polyhedra_Library::PIP_Problem
solve() const Parma_Polyhedra_Library::PIP_Problem
space_dimension() const Parma_Polyhedra_Library::PIP_Probleminline
Status enum nameParma_Polyhedra_Library::PIP_Problemprivate
statusParma_Polyhedra_Library::PIP_Problemprivate
swap(PIP_Problem &x, PIP_Problem &y)Parma_Polyhedra_Library::PIP_Problemrelated
swap(PIP_Problem &x, PIP_Problem &y)Parma_Polyhedra_Library::PIP_Problemrelated
total_memory_in_bytes() const Parma_Polyhedra_Library::PIP_Problem
UNSATISFIABLE enum valueParma_Polyhedra_Library::PIP_Problemprivate
~PIP_Problem()Parma_Polyhedra_Library::PIP_Problem