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

Parma_Polyhedra_Library::AskTell< CS > Member List

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

add_constraint(const Constraint &c)Parma_Polyhedra_Library::AskTell< CS >
add_constraints(const ConSys &cs)Parma_Polyhedra_Library::AskTell< CS >
add_dimensions_and_embed(dimension_type m)Parma_Polyhedra_Library::AskTell< CS >
add_dimensions_and_project(dimension_type m)Parma_Polyhedra_Library::AskTell< CS >
add_pair(const CS &ask, const CS &tell)Parma_Polyhedra_Library::AskTell< CS >
AskTell(dimension_type num_dimensions=0, bool universe=true)Parma_Polyhedra_Library::AskTell< CS > [explicit]
AskTell(const AskTell &y)Parma_Polyhedra_Library::AskTell< CS >
AskTell(const ConSys &cs)Parma_Polyhedra_Library::AskTell< CS >
concatenate_assign(const AskTell &y)Parma_Polyhedra_Library::AskTell< CS >
definitely_entails(const AskTell &y) constParma_Polyhedra_Library::AskTell< CS >
is_bottom() constParma_Polyhedra_Library::AskTell< CS >
is_top() constParma_Polyhedra_Library::AskTell< CS >
meet_assign(const AskTell &y)Parma_Polyhedra_Library::AskTell< CS >
OK() constParma_Polyhedra_Library::AskTell< CS >
operator=(const AskTell &y)Parma_Polyhedra_Library::AskTell< CS >
remove_dimensions(const Variables_Set &to_be_removed)Parma_Polyhedra_Library::AskTell< CS >
remove_higher_dimensions(dimension_type new_dimension)Parma_Polyhedra_Library::AskTell< CS >
space_dimension() constParma_Polyhedra_Library::AskTell< CS >
swap(AskTell &y)Parma_Polyhedra_Library::AskTell< CS >
swap(Parma_Polyhedra_Library::AskTell< CS > &x, Parma_Polyhedra_Library::AskTell< CS > &y)Parma_Polyhedra_Library::AskTell< CS > [related]
upper_bound_assign(const AskTell &y)Parma_Polyhedra_Library::AskTell< CS >


Generated on Wed Aug 18 18:41:40 2004 for PPL by doxygen 1.3.8-20040812