PPL: Member List

Main Page | Modules | Namespace List | Class Hierarchy | Class List | Namespace Members | Class Members | Related Pages

# Parma_Polyhedra_Library::Determinate< PH > Member List

This is the complete list of members for Parma_Polyhedra_Library::Determinate< PH >, including all inherited members.

add_constraint(const Constraint &c) | Parma_Polyhedra_Library::Determinate< PH > |
add_constraints(ConSys &cs) | Parma_Polyhedra_Library::Determinate< PH > |
add_dimensions_and_embed(dimension_type m) | Parma_Polyhedra_Library::Determinate< PH > |
add_dimensions_and_project(dimension_type m) | Parma_Polyhedra_Library::Determinate< PH > |
concatenate_assign(const Determinate &y) | Parma_Polyhedra_Library::Determinate< PH > |
constraints() const | Parma_Polyhedra_Library::Determinate< PH > |
definitely_entails(const Determinate &y) const | Parma_Polyhedra_Library::Determinate< PH > |
Determinate(dimension_type num_dimensions=0, bool universe=true) | Parma_Polyhedra_Library::Determinate< PH > | `[explicit]`
Determinate(const PH &p) | Parma_Polyhedra_Library::Determinate< PH > |
Determinate(const ConSys &cs) | Parma_Polyhedra_Library::Determinate< PH > |
Determinate(const Determinate &y) | Parma_Polyhedra_Library::Determinate< PH > |
element() const | Parma_Polyhedra_Library::Determinate< PH > |
element() | Parma_Polyhedra_Library::Determinate< PH > |
is_bottom() const | Parma_Polyhedra_Library::Determinate< PH > |
is_definitely_equivalent_to(const Determinate &y) const | Parma_Polyhedra_Library::Determinate< PH > |
is_top() const | Parma_Polyhedra_Library::Determinate< PH > |
map_dimensions(const PartialFunction &pfunc) | Parma_Polyhedra_Library::Determinate< PH > |
meet_assign(const Determinate &y) | Parma_Polyhedra_Library::Determinate< PH > |
minimized_constraints() const | Parma_Polyhedra_Library::Determinate< PH > |
OK() const | Parma_Polyhedra_Library::Determinate< PH > |
operator!=(const Determinate< PH > &x, const Determinate< PH > &y) | Parma_Polyhedra_Library::Determinate< PH > | `[friend]`
operator<<(std::ostream &, const Determinate< PH > &) | Parma_Polyhedra_Library::Determinate< PH > | `[related]`
operator=(const Determinate &y) | Parma_Polyhedra_Library::Determinate< PH > |
operator==(const Determinate< PH > &x, const Determinate< PH > &y) | Parma_Polyhedra_Library::Determinate< PH > | `[friend]`
remove_dimensions(const Variables_Set &to_be_removed) | Parma_Polyhedra_Library::Determinate< PH > |
remove_higher_dimensions(dimension_type new_dimension) | Parma_Polyhedra_Library::Determinate< PH > |
space_dimension() const | Parma_Polyhedra_Library::Determinate< PH > |
swap(Determinate &y) | Parma_Polyhedra_Library::Determinate< PH > |
swap(Parma_Polyhedra_Library::Determinate< PH > &x, Parma_Polyhedra_Library::Determinate< PH > &y) | Parma_Polyhedra_Library::Determinate< PH > | `[related]`
upper_bound_assign(const Determinate &y) | Parma_Polyhedra_Library::Determinate< PH > |
~Determinate() | Parma_Polyhedra_Library::Determinate< PH > |