Here is a list of all documented class members with links to the class documentation for each member:
- add_constraint()
: Parma_Polyhedra_Library::Polyhedra_Powerset< PH >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron
- add_constraint_and_minimize()
: Parma_Polyhedra_Library::Polyhedra_Powerset< PH >, Parma_Polyhedra_Library::Polyhedron
- add_constraints()
: Parma_Polyhedra_Library::Polyhedra_Powerset< PH >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron
- add_constraints_and_minimize()
: Parma_Polyhedra_Library::Polyhedra_Powerset< PH >, Parma_Polyhedra_Library::Polyhedron
- add_disjunct()
: Parma_Polyhedra_Library::Powerset< CS >
- add_generator()
: Parma_Polyhedra_Library::Polyhedron
- add_generator_and_minimize()
: Parma_Polyhedra_Library::Polyhedron
- add_generators()
: Parma_Polyhedra_Library::Polyhedron
- add_generators_and_minimize()
: Parma_Polyhedra_Library::Polyhedron
- add_mul_assign()
: Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- add_non_bottom_disjunct()
: Parma_Polyhedra_Library::Powerset< CS >
- add_recycled_constraints()
: Parma_Polyhedra_Library::Polyhedron
- add_recycled_constraints_and_minimize()
: Parma_Polyhedra_Library::Polyhedron
- add_recycled_generators()
: Parma_Polyhedra_Library::Polyhedron
- add_recycled_generators_and_minimize()
: Parma_Polyhedra_Library::Polyhedron
- add_space_dimensions_and_embed()
: Parma_Polyhedra_Library::Polyhedra_Powerset< PH >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron
- add_space_dimensions_and_project()
: Parma_Polyhedra_Library::Polyhedra_Powerset< PH >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron
- affine_dimension()
: Parma_Polyhedra_Library::Polyhedron
- affine_image()
: Parma_Polyhedra_Library::Polyhedron
- affine_preimage()
: Parma_Polyhedra_Library::Polyhedron
- element()
: Parma_Polyhedra_Library::Determinate< PH >
- EMPTY
: Parma_Polyhedra_Library::Polyhedron
- end()
: Parma_Polyhedra_Library::Powerset< CS >
- EQUALITY
: Parma_Polyhedra_Library::Constraint
- exact_div_assign()
: Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- expand_space_dimension()
: Parma_Polyhedra_Library::Polyhedron
- external_memory_in_bytes()
: Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >, Parma_Polyhedra_Library::Powerset< CS >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron, Parma_Polyhedra_Library::Generator, Parma_Polyhedra_Library::Constraint, Parma_Polyhedra_Library::Linear_Expression, Parma_Polyhedra_Library::Variable
- OK()
: Parma_Polyhedra_Library::Polyhedra_Powerset< PH >, Parma_Polyhedra_Library::Powerset< CS >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron, Parma_Polyhedra_Library::Poly_Gen_Relation, Parma_Polyhedra_Library::Poly_Con_Relation, Parma_Polyhedra_Library::Generator, Parma_Polyhedra_Library::Constraint, Parma_Polyhedra_Library::Linear_Expression, Parma_Polyhedra_Library::Variable
- omega_reduce()
: Parma_Polyhedra_Library::Powerset< CS >
- operator &&()
: Parma_Polyhedra_Library::Poly_Gen_Relation, Parma_Polyhedra_Library::Poly_Con_Relation
- operator *()
: Parma_Polyhedra_Library::Linear_Expression, Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator *=()
: Parma_Polyhedra_Library::Linear_Expression, Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator T()
: Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator!=
: Parma_Polyhedra_Library::Powerset< CS >, Parma_Polyhedra_Library::Polyhedron, Parma_Polyhedra_Library::Poly_Gen_Relation, Parma_Polyhedra_Library::Poly_Con_Relation, Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >, Parma_Polyhedra_Library::Determinate< PH >
- operator%()
: Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator%=()
: Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator()()
: Parma_Polyhedra_Library::H79_Certificate::Compare, Parma_Polyhedra_Library::BHRZ03_Certificate::Compare, Parma_Polyhedra_Library::Variable::Compare
- operator+()
: Parma_Polyhedra_Library::Linear_Expression, Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator++()
: Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator+=()
: Parma_Polyhedra_Library::Linear_Expression, Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator-()
: Parma_Polyhedra_Library::Poly_Gen_Relation, Parma_Polyhedra_Library::Poly_Con_Relation, Parma_Polyhedra_Library::Linear_Expression, Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator--()
: Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator-=()
: Parma_Polyhedra_Library::Linear_Expression, Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator/()
: Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator/=()
: Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator<()
: Parma_Polyhedra_Library::Constraint, Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator<<()
: Parma_Polyhedra_Library::Powerset< CS >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron, Parma_Polyhedra_Library::Poly_Gen_Relation, Parma_Polyhedra_Library::Poly_Con_Relation, Parma_Polyhedra_Library::Generator, Parma_Polyhedra_Library::Constraint, Parma_Polyhedra_Library::Linear_Expression, Parma_Polyhedra_Library::Variable, Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator<=()
: Parma_Polyhedra_Library::Constraint, Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator=()
: Parma_Polyhedra_Library::Polyhedra_Powerset< PH >, Parma_Polyhedra_Library::Powerset< CS >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::NNC_Polyhedron, Parma_Polyhedra_Library::C_Polyhedron, Parma_Polyhedra_Library::Polyhedron, Parma_Polyhedra_Library::Generator, Parma_Polyhedra_Library::Constraint, Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator==
: Parma_Polyhedra_Library::Powerset< CS >, Parma_Polyhedra_Library::Polyhedron, Parma_Polyhedra_Library::Poly_Gen_Relation, Parma_Polyhedra_Library::Poly_Con_Relation, Parma_Polyhedra_Library::Constraint, Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >, Parma_Polyhedra_Library::Determinate< PH >
- operator>()
: Parma_Polyhedra_Library::Constraint, Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator>=()
: Parma_Polyhedra_Library::Constraint, Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator>>()
: Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- output_function_type
: Parma_Polyhedra_Library::Variable
- saturates()
: Parma_Polyhedra_Library::Poly_Con_Relation
- Sequence
: Parma_Polyhedra_Library::Powerset< CS >
- sequence
: Parma_Polyhedra_Library::Powerset< CS >
- set_output_function()
: Parma_Polyhedra_Library::Variable
- sgn()
: Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- shrink_bounding_box()
: Parma_Polyhedra_Library::Polyhedron
- space_dimension()
: Parma_Polyhedra_Library::Polyhedra_Powerset< PH >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron, Parma_Polyhedra_Library::Generator, Parma_Polyhedra_Library::Constraint, Parma_Polyhedra_Library::Linear_Expression, Parma_Polyhedra_Library::Variable
- sqrt_assign()
: Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- STRICT_INEQUALITY
: Parma_Polyhedra_Library::Constraint
- strictly_contains()
: Parma_Polyhedra_Library::Polyhedron
- strictly_intersects()
: Parma_Polyhedra_Library::Poly_Con_Relation
- sub_mul_assign()
: Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- subsumes()
: Parma_Polyhedra_Library::Poly_Gen_Relation
- swap()
: Parma_Polyhedra_Library::Polyhedra_Powerset< PH >, Parma_Polyhedra_Library::Powerset< CS >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron, Parma_Polyhedra_Library::Generator, Parma_Polyhedra_Library::Constraint, Parma_Polyhedra_Library::Linear_Expression, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >, Parma_Polyhedra_Library::Powerset< CS >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- time_elapse_assign()
: Parma_Polyhedra_Library::Polyhedra_Powerset< PH >, Parma_Polyhedra_Library::Polyhedron
- topological_closure_assign()
: Parma_Polyhedra_Library::Polyhedron
- total_memory_in_bytes()
: Parma_Polyhedra_Library::Native_Integer< T >, Parma_Polyhedra_Library::Checked_Number< T, Policy >, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >, Parma_Polyhedra_Library::Powerset< CS >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron, Parma_Polyhedra_Library::Generator, Parma_Polyhedra_Library::Constraint, Parma_Polyhedra_Library::Linear_Expression, Parma_Polyhedra_Library::Variable
- Type
: Parma_Polyhedra_Library::Generator, Parma_Polyhedra_Library::Constraint
- type()
: Parma_Polyhedra_Library::Generator, Parma_Polyhedra_Library::Constraint
Generated on Fri Dec 24 16:50:18 2004 for PPL by
1.3.9.1-20041213