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 >
Generated on Fri Aug 20 20:04:45 2004 for PPL by
1.3.8-20040812