Inherits Parma_Polyhedra_Library::Polyhedron.
Public Member Functions | |
| C_Polyhedron (dimension_type num_dimensions=0, Degenerate_Element kind=UNIVERSE) | |
| Builds either the universe or the empty C polyhedron. | |
| C_Polyhedron (const Constraint_System &cs) | |
| Builds a C polyhedron from a system of constraints. | |
| C_Polyhedron (Constraint_System &cs) | |
| Builds a C polyhedron recycling a system of constraints. | |
| C_Polyhedron (const Generator_System &gs) | |
| Builds a C polyhedron from a system of generators. | |
| C_Polyhedron (Generator_System &gs) | |
| Builds a C polyhedron recycling a system of generators. | |
| C_Polyhedron (const NNC_Polyhedron &y) | |
Builds a C polyhedron representing the topological closure of the NNC polyhedron y. | |
| template<typename Box> | |
| C_Polyhedron (const Box &box, From_Bounding_Box dummy) | |
| Builds a C polyhedron out of a generic, interval-based bounding box. | |
| C_Polyhedron (const C_Polyhedron &y) | |
| Ordinary copy-constructor. | |
| C_Polyhedron & | operator= (const C_Polyhedron &y) |
The assignment operator. (*this and y can be dimension-incompatible.). | |
| C_Polyhedron & | operator= (const NNC_Polyhedron &y) |
Assigns to *this the topological closure of the NNC polyhedron y. | |
| ~C_Polyhedron () | |
| Destructor. | |
| bool | poly_hull_assign_if_exact (const C_Polyhedron &y) |
If the poly-hull of *this and y is exact it is assigned to *this and true is returned, otherwise false is returned. | |
| bool | upper_bound_assign_if_exact (const C_Polyhedron &y) |
| Same as poly_hull_assign_if_exact(y). | |
An object of the class C_Polyhedron represents a topologically closed convex polyhedron in the vector space
.
When building a closed polyhedron starting from a system of constraints, an exception is thrown if the system contains a strict inequality constraint. Similarly, an exception is thrown when building a closed polyhedron starting from a system of generators containing a closure point.
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
1.4.6-20060115