Here is a list of all documented class members with links to the class documentation for each member:
- c -
- C_Polyhedron()
: Parma_Polyhedra_Library::C_Polyhedron
- can_recycle_congruence_systems()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Polyhedron
- can_recycle_constraint_systems()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Polyhedron
- Cast_Floating_Point_Expression()
: Parma_Polyhedra_Library::Cast_Floating_Point_Expression< FP_Interval_Type, FP_Format >
- cast_linearize()
: Parma_Polyhedra_Library::Concrete_Expression< Target >
- CC76_extrapolation_assign()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
- CC76_narrowing_assign()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
- CC76_widening_assign()
: Parma_Polyhedra_Library::Box< ITV >
- ceil_assign()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- check_containment()
: Parma_Polyhedra_Library::Pointset_Powerset< PSET >
- check_ownership()
: Parma_Polyhedra_Library::PIP_Solution_Node
, Parma_Polyhedra_Library::PIP_Tree_Node
- Checked_Number()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- child_node()
: Parma_Polyhedra_Library::PIP_Decision_Node
- classify()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- clear()
: Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::PIP_Problem
, Parma_Polyhedra_Library::Powerset< D >
- clear_reduced_flag()
: Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
- clone()
: Parma_Polyhedra_Library::Linear_Expression_Impl< Row >::const_iterator
, Parma_Polyhedra_Library::Linear_Expression_Interface::const_iterator_interface
, Parma_Polyhedra_Library::PIP_Decision_Node
, Parma_Polyhedra_Library::PIP_Solution_Node
, Parma_Polyhedra_Library::PIP_Tree_Node
- CLOSURE_POINT
: Parma_Polyhedra_Library::Generator
- closure_point()
: Parma_Polyhedra_Library::Generator
- cmp()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::GMP_Integer
- coefficient()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Form< C >
- coefficient_type
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Polyhedron
- coefficient_type_base
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
- collapse()
: Parma_Polyhedra_Library::Powerset< D >
- compare()
: Parma_Polyhedra_Library::BHRZ03_Certificate
, Parma_Polyhedra_Library::Grid_Certificate
, Parma_Polyhedra_Library::H79_Certificate
- compatibility_check()
: Parma_Polyhedra_Library::PIP_Tree_Node
- concatenate_assign()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Determinate< PSET >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- Congruence()
: Parma_Polyhedra_Library::Congruence
- Congruence_System()
: Parma_Polyhedra_Library::Congruence_System
- congruence_widening_assign()
: Parma_Polyhedra_Library::Grid
- congruences()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Polyhedron
- Congruences_Reduction()
: Parma_Polyhedra_Library::Congruences_Reduction< D1, D2 >
- const_iterator()
: Parma_Polyhedra_Library::CO_Tree::const_iterator
, Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
, Parma_Polyhedra_Library::Implementation::EList< T >
, Parma_Polyhedra_Library::Implementation::Watchdog::Pending_List< Traits >
, Parma_Polyhedra_Library::Linear_Expression::const_iterator
, Parma_Polyhedra_Library::PIP_Problem
, Parma_Polyhedra_Library::Powerset< D >
- const_reverse_iterator
: Parma_Polyhedra_Library::Powerset< D >
- Constant_Floating_Point_Expression()
: Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >
- constrains()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- Constraint()
: Parma_Polyhedra_Library::Constraint
- Constraint_Sequence
: Parma_Polyhedra_Library::PIP_Tree_Node
- Constraint_System()
: Parma_Polyhedra_Library::Constraint_System
- Constraint_System_const_iterator()
: Parma_Polyhedra_Library::Constraint_System_const_iterator
- constraints()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::PIP_Tree_Node
, Parma_Polyhedra_Library::Polyhedron
- constraints_
: Parma_Polyhedra_Library::PIP_Tree_Node
- constraints_begin()
: Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::PIP_Problem
- constraints_end()
: Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::PIP_Problem
- Constraints_Reduction()
: Parma_Polyhedra_Library::Constraints_Reduction< D1, D2 >
- construct()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- contains()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- contains_integer_point()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- Control_Parameter_Name
: Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::PIP_Problem
- Control_Parameter_Value
: Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::PIP_Problem
- convert_to_integer_expression()
: Parma_Polyhedra_Library::Polyhedron
- convert_to_integer_expressions()
: Parma_Polyhedra_Library::Polyhedron
- create()
: Parma_Polyhedra_Library::Congruence
- CUTTING_STRATEGY
: Parma_Polyhedra_Library::PIP_Problem
- CUTTING_STRATEGY_ALL
: Parma_Polyhedra_Library::PIP_Problem
- CUTTING_STRATEGY_DEEPEST
: Parma_Polyhedra_Library::PIP_Problem
- CUTTING_STRATEGY_FIRST
: Parma_Polyhedra_Library::PIP_Problem