PPL: Class Members - Functions

Main Page | Modules | Namespace List | Class Hierarchy | Class List | Namespace Members | Class Members | Related Pages
All | Functions | Variables | Typedefs | Enumerations | Enumeration values | Related Functions
a | b | c | d | e | f | g | h | i | l | m | n | o | p | r | s | t | u | v | w | z | ~

### - a -

- 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

### - b -

- BGP99_extrapolation_assign() : Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >
- BHRZ03_Certificate() : Parma_Polyhedra_Library::BHRZ03_Certificate
- BHRZ03_widening_assign() : Parma_Polyhedra_Library::Polyhedron
- BHZ03_widening_assign() : Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >
- bounded_BHRZ03_extrapolation_assign() : Parma_Polyhedra_Library::Polyhedron
- bounded_H79_extrapolation_assign() : Parma_Polyhedra_Library::Polyhedron
- bounds_from_above() : Parma_Polyhedra_Library::Polyhedron
- bounds_from_below() : Parma_Polyhedra_Library::Polyhedron

### - c -

- C_Polyhedron() : Parma_Polyhedra_Library::C_Polyhedron
- closure_point() : Parma_Polyhedra_Library::Generator
- coefficient() : Parma_Polyhedra_Library::Generator, Parma_Polyhedra_Library::Constraint, Parma_Polyhedra_Library::LinExpression
- collapse() : Parma_Polyhedra_Library::PowerSet< CS >
- compare() : Parma_Polyhedra_Library::H79_Certificate, Parma_Polyhedra_Library::BHRZ03_Certificate
- concatenate_assign() : Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron
- Constraint() : Parma_Polyhedra_Library::Constraint
- constraints() : Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron
- contains() : Parma_Polyhedra_Library::Polyhedron

### - d -

- definitely_entails() : Parma_Polyhedra_Library::PowerSet< CS >, Parma_Polyhedra_Library::Determinate< PH >
- Determinate() : Parma_Polyhedra_Library::Determinate< PH >
- divisor() : Parma_Polyhedra_Library::Generator

### - e -

- element() : Parma_Polyhedra_Library::Determinate< PH >
- expand_dimension() : Parma_Polyhedra_Library::Polyhedron

### - f -

- fold_dimensions() : Parma_Polyhedra_Library::Polyhedron

### - g -

- generalized_affine_image() : Parma_Polyhedra_Library::Polyhedron
- Generator() : Parma_Polyhedra_Library::Generator
- generators() : Parma_Polyhedra_Library::Polyhedron
- geometrically_covers() : Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >
- geometrically_equals() : Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >
- get_output_function() : Parma_Polyhedra_Library::Variable

### - h -

- H79_Certificate() : Parma_Polyhedra_Library::H79_Certificate
- H79_widening_assign() : Parma_Polyhedra_Library::Polyhedron

### - i -

- id() : Parma_Polyhedra_Library::Variable
- implies() : Parma_Polyhedra_Library::Poly_Gen_Relation, Parma_Polyhedra_Library::Poly_Con_Relation
- inhomogeneous_term() : Parma_Polyhedra_Library::Constraint, Parma_Polyhedra_Library::LinExpression
- intersection_assign() : Parma_Polyhedra_Library::Polyhedron
- intersection_assign_and_minimize() : Parma_Polyhedra_Library::Polyhedron
- is_bottom() : Parma_Polyhedra_Library::PowerSet< CS >, Parma_Polyhedra_Library::Determinate< PH >
- is_bounded() : Parma_Polyhedra_Library::Polyhedron
- is_closure_point() : Parma_Polyhedra_Library::Generator
- is_definitely_equivalent_to() : Parma_Polyhedra_Library::Determinate< PH >
- is_disjoint() : Parma_Polyhedra_Library::Poly_Con_Relation
- is_disjoint_from() : Parma_Polyhedra_Library::Polyhedron
- is_empty() : Parma_Polyhedra_Library::Polyhedron
- is_equality() : Parma_Polyhedra_Library::Constraint
- is_included() : Parma_Polyhedra_Library::Poly_Con_Relation
- is_inequality() : Parma_Polyhedra_Library::Constraint
- is_line() : Parma_Polyhedra_Library::Generator
- is_nonstrict_inequality() : Parma_Polyhedra_Library::Constraint
- is_omega_reduced() : Parma_Polyhedra_Library::PowerSet< CS >
- is_point() : Parma_Polyhedra_Library::Generator
- is_ray() : Parma_Polyhedra_Library::Generator
- is_strict_inequality() : Parma_Polyhedra_Library::Constraint
- is_top() : Parma_Polyhedra_Library::PowerSet< CS >, Parma_Polyhedra_Library::Determinate< PH >
- is_topologically_closed() : Parma_Polyhedra_Library::Polyhedron
- is_universe() : Parma_Polyhedra_Library::Polyhedron

### - l -

- less() : Parma_Polyhedra_Library::Variable
- limited_BHRZ03_extrapolation_assign() : Parma_Polyhedra_Library::Polyhedron
- limited_H79_extrapolation_assign() : Parma_Polyhedra_Library::Polyhedron
- line() : Parma_Polyhedra_Library::Generator
- linear_partition() : Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >
- LinExpression() : Parma_Polyhedra_Library::LinExpression

### - m -

- map_dimensions() : Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron
- max_space_dimension() : Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >, Parma_Polyhedra_Library::NNC_Polyhedron, Parma_Polyhedra_Library::C_Polyhedron, Parma_Polyhedra_Library::Polyhedron
- maximize() : Parma_Polyhedra_Library::Polyhedron
- meet_assign() : Parma_Polyhedra_Library::PowerSet< CS >, Parma_Polyhedra_Library::Determinate< PH >
- minimize() : Parma_Polyhedra_Library::Polyhedron
- minimized_constraints() : Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron
- minimized_generators() : Parma_Polyhedra_Library::Polyhedron

### - n -

- NNC_Polyhedron() : Parma_Polyhedra_Library::NNC_Polyhedron
- nothing() : Parma_Polyhedra_Library::Poly_Gen_Relation, Parma_Polyhedra_Library::Poly_Con_Relation

### - o -

- 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

### - p -

- pairwise_reduce() : Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >
- point() : Parma_Polyhedra_Library::Generator
- poly_difference_assign() : Parma_Polyhedra_Library::Polyhedron
- poly_hull_assign() : Parma_Polyhedra_Library::Polyhedron
- poly_hull_assign_and_minimize() : Parma_Polyhedra_Library::Polyhedron
- poly_hull_assign_if_exact() : Parma_Polyhedra_Library::Polyhedron
- Polyhedra_PowerSet() : Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >
- Polyhedron() : Parma_Polyhedra_Library::Polyhedron
- PowerSet() : Parma_Polyhedra_Library::PowerSet< CS >

### - r -

- ray() : Parma_Polyhedra_Library::Generator
- relation_with() : Parma_Polyhedra_Library::Polyhedron
- remove_dimensions() : Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron
- remove_higher_dimensions() : Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >, Parma_Polyhedra_Library::Determinate< PH >, Parma_Polyhedra_Library::Polyhedron

### - s -

- saturates() : Parma_Polyhedra_Library::Poly_Con_Relation
- 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
- 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

### - t -

- time_elapse_assign() : Parma_Polyhedra_Library::Polyhedron
- topological_closure_assign() : Parma_Polyhedra_Library::Polyhedron
- type() : Parma_Polyhedra_Library::Generator, Parma_Polyhedra_Library::Constraint

### - u -

- upper_bound_assign() : Parma_Polyhedra_Library::PowerSet< CS >, Parma_Polyhedra_Library::Determinate< PH >

### - v -

- Variable() : Parma_Polyhedra_Library::Variable

### - w -

- widen_fun() : Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >

### - z -

- zero() : Parma_Polyhedra_Library::LinExpression
- zero_dim_closure_point() : Parma_Polyhedra_Library::Generator
- zero_dim_false() : Parma_Polyhedra_Library::Constraint
- zero_dim_point() : Parma_Polyhedra_Library::Generator
- zero_dim_positivity() : Parma_Polyhedra_Library::Constraint

### - ~ -

- ~BHRZ03_Certificate() : Parma_Polyhedra_Library::BHRZ03_Certificate
- ~C_Polyhedron() : Parma_Polyhedra_Library::C_Polyhedron
- ~Constraint() : Parma_Polyhedra_Library::Constraint
- ~Determinate() : Parma_Polyhedra_Library::Determinate< PH >
- ~Generator() : Parma_Polyhedra_Library::Generator
- ~H79_Certificate() : Parma_Polyhedra_Library::H79_Certificate
- ~LinExpression() : Parma_Polyhedra_Library::LinExpression
- ~NNC_Polyhedron() : Parma_Polyhedra_Library::NNC_Polyhedron
- ~Polyhedron() : Parma_Polyhedra_Library::Polyhedron