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() constParma_Polyhedra_Library::Determinate< PH >
definitely_entails(const Determinate &y) constParma_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() constParma_Polyhedra_Library::Determinate< PH >
element()Parma_Polyhedra_Library::Determinate< PH >
is_bottom() constParma_Polyhedra_Library::Determinate< PH >
is_definitely_equivalent_to(const Determinate &y) constParma_Polyhedra_Library::Determinate< PH >
is_top() constParma_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() constParma_Polyhedra_Library::Determinate< PH >
OK() constParma_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() constParma_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 >


Generated on Fri Aug 20 20:04:45 2004 for PPL by doxygen 1.3.8-20040812