Here is a list of all documented class members with links to the class documentation for each member:
- o -
- objective_function()
: Parma_Polyhedra_Library::MIP_Problem
- Octagonal_Shape()
: Parma_Polyhedra_Library::Octagonal_Shape< T >
- OK()
: Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Concrete_Expression_Type
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::PIP_Problem
, Parma_Polyhedra_Library::PIP_Tree_Node
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
, Parma_Polyhedra_Library::PIP_Solution_Node
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::PIP_Decision_Node
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Determinate< PSET >
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Variables_Set
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Implementation::Watchdog::Time
, Parma_Polyhedra_Library::Poly_Con_Relation
, Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >
, Parma_Polyhedra_Library::Implementation::Watchdog::EList< T >
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Implementation::Watchdog::Pending_List< Traits >
, Parma_Polyhedra_Library::Variable
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Poly_Gen_Relation
, Parma_Polyhedra_Library::Linear_Form< C >
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::BD_Shape< T >
- omega_reduce()
: Parma_Polyhedra_Library::Powerset< D >
- operator T()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator!=()
: Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Poly_Con_Relation
, Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Poly_Gen_Relation
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
, Parma_Polyhedra_Library::CO_Tree::const_iterator
, Parma_Polyhedra_Library::CO_Tree::iterator
, Parma_Polyhedra_Library::MIP_Problem::const_iterator
, Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
, Parma_Polyhedra_Library::Determinate< PSET >
, Parma_Polyhedra_Library::Implementation::Watchdog::EList_Iterator< T >
, Parma_Polyhedra_Library::Linear_Form< C >
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator%=()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Congruence
- operator&&
: Parma_Polyhedra_Library::Poly_Con_Relation
, Parma_Polyhedra_Library::Poly_Gen_Relation
- operator()()
: Parma_Polyhedra_Library::Variable::Compare
, Parma_Polyhedra_Library::BHRZ03_Certificate::Compare
, Parma_Polyhedra_Library::H79_Certificate::Compare
, Parma_Polyhedra_Library::Grid_Certificate::Compare
- operator*
: Parma_Polyhedra_Library::Linear_Form< C >
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
, Parma_Polyhedra_Library::CO_Tree::const_iterator
, Parma_Polyhedra_Library::CO_Tree::iterator
, Parma_Polyhedra_Library::MIP_Problem::const_iterator
, Parma_Polyhedra_Library::Implementation::Watchdog::EList_Iterator< T >
- operator*=
: Parma_Polyhedra_Library::Linear_Form< C >
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Linear_Expression
- operator+
: Parma_Polyhedra_Library::Linear_Form< C >
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::MIP_Problem::const_iterator
, Parma_Polyhedra_Library::Linear_Form< C >
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Linear_Expression
- operator++()
: Parma_Polyhedra_Library::CO_Tree::const_iterator
, Parma_Polyhedra_Library::CO_Tree::iterator
, Parma_Polyhedra_Library::MIP_Problem::const_iterator
, Parma_Polyhedra_Library::Implementation::Watchdog::EList_Iterator< T >
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
- operator+=
: Parma_Polyhedra_Library::Linear_Form< C >
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::MIP_Problem::const_iterator
, Parma_Polyhedra_Library::Implementation::Watchdog::Time
- operator-
: Parma_Polyhedra_Library::Linear_Form< C >
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Poly_Con_Relation
, Parma_Polyhedra_Library::Poly_Gen_Relation
, Parma_Polyhedra_Library::MIP_Problem::const_iterator
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator--()
: Parma_Polyhedra_Library::MIP_Problem::const_iterator
, Parma_Polyhedra_Library::CO_Tree::const_iterator
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::CO_Tree::const_iterator
, Parma_Polyhedra_Library::CO_Tree::iterator
, Parma_Polyhedra_Library::MIP_Problem::const_iterator
, Parma_Polyhedra_Library::Implementation::Watchdog::EList_Iterator< T >
- operator-=
: Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Form< C >
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::MIP_Problem::const_iterator
, Parma_Polyhedra_Library::Implementation::Watchdog::Time
- operator->()
: Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::Implementation::Watchdog::EList_Iterator< T >
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
, Parma_Polyhedra_Library::MIP_Problem::const_iterator
- operator/
: Parma_Polyhedra_Library::Congruence
- operator/=
: Parma_Polyhedra_Library::Linear_Form< C >
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Congruence
- operator<()
: Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Constraint
- operator<<()
: Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Form< C >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::PIP_Tree_Node
, Parma_Polyhedra_Library::Variable
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Poly_Gen_Relation
, Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Variables_Set
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::PIP_Problem
, Parma_Polyhedra_Library::Poly_Con_Relation
, Parma_Polyhedra_Library::Determinate< PSET >
- operator<=()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Constraint
- operator=()
: Parma_Polyhedra_Library::Implementation::Watchdog::EList_Iterator< T >
, Parma_Polyhedra_Library::CO_Tree::const_iterator
, Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::CO_Tree::const_iterator
, Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::C_Polyhedron
, Parma_Polyhedra_Library::PIP_Problem
, Parma_Polyhedra_Library::NNC_Polyhedron
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::CO_Tree::iterator
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
, Parma_Polyhedra_Library::Determinate< PSET >
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::C_Polyhedron
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::CO_Tree::iterator
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::NNC_Polyhedron
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Generator_System
- operator==
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Poly_Gen_Relation
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Implementation::Watchdog::EList_Iterator< T >
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::CO_Tree::const_iterator
, Parma_Polyhedra_Library::MIP_Problem::const_iterator
, Parma_Polyhedra_Library::Linear_Form< C >
, Parma_Polyhedra_Library::Determinate< PSET >
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Poly_Con_Relation
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
, Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
, Parma_Polyhedra_Library::CO_Tree::iterator
, Parma_Polyhedra_Library::Constraint
- operator>
: Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Constraint
- operator>=
: Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Constraint
- operator>>()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- Opposite_Floating_Point_Expression()
: Parma_Polyhedra_Library::Opposite_Floating_Point_Expression< FP_Interval_Type, FP_Format >
- optimal_value()
: Parma_Polyhedra_Library::MIP_Problem
- optimization_mode()
: Parma_Polyhedra_Library::MIP_Problem
- optimizing_point()
: Parma_Polyhedra_Library::MIP_Problem
- optimizing_solution()
: Parma_Polyhedra_Library::PIP_Problem
- output()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- output_function_type
: Parma_Polyhedra_Library::Variable
- overapproximate_linear_form()
: Parma_Polyhedra_Library::Polyhedron
- overflows()
: Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Linear_Form< C >
- owner_
: Parma_Polyhedra_Library::PIP_Tree_Node