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_dimensions_and_embed()
: Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron
- add_dimensions_and_project()
: Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >, Parma_Polyhedra_Library::Determinate< 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_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
- affine_image()
: Parma_Polyhedra_Library::Polyhedron
- affine_preimage()
: Parma_Polyhedra_Library::Polyhedron
- 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
- omega_reduce()
: Parma_Polyhedra_Library::PowerSet< CS >
- operator &&()
: Parma_Polyhedra_Library::Poly_Gen_Relation, Parma_Polyhedra_Library::Poly_Con_Relation
- operator *()
: Parma_Polyhedra_Library::LinExpression
- operator *=()
: Parma_Polyhedra_Library::LinExpression
- 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::Determinate< PH >
- operator()()
: Parma_Polyhedra_Library::H79_Certificate::Compare, Parma_Polyhedra_Library::BHRZ03_Certificate::Compare, Parma_Polyhedra_Library::Variable::Compare
- operator+()
: Parma_Polyhedra_Library::LinExpression
- operator+=()
: Parma_Polyhedra_Library::LinExpression
- operator-()
: Parma_Polyhedra_Library::Poly_Gen_Relation, Parma_Polyhedra_Library::Poly_Con_Relation, Parma_Polyhedra_Library::LinExpression
- operator-=()
: Parma_Polyhedra_Library::LinExpression
- operator<()
: Parma_Polyhedra_Library::Constraint
- 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::LinExpression, Parma_Polyhedra_Library::Variable
- operator<=()
: Parma_Polyhedra_Library::Constraint
- 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
- 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::Determinate< PH >
- operator>()
: Parma_Polyhedra_Library::Constraint
- operator>=()
: Parma_Polyhedra_Library::Constraint
- 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
- 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::LinExpression
- STRICT_INEQUALITY
: Parma_Polyhedra_Library::Constraint
- strictly_contains()
: Parma_Polyhedra_Library::Polyhedron
- strictly_intersects()
: Parma_Polyhedra_Library::Poly_Con_Relation
- 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::LinExpression, Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >, Parma_Polyhedra_Library::PowerSet< CS >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron
Generated on Fri Aug 20 20:04:45 2004 for PPL by
1.3.8-20040812