List of all members.
Public Member Functions |
| Hpolyhedron () |
| Hpolyhedron (int dim, Template &mat, Vector &vec) |
| Hpolyhedron (int dim, Template &mat, Vector &vec, Box &box) |
| Hpolyhedron (Simplex &simplex) |
| Hpolyhedron (Box &box) |
virtual | ~Hpolyhedron () |
bool | includes (Hpolyhedron &poly) |
Number | optimize (const Vector &direction, Vector &optPoint, bool max=true) |
bool | includes (Vector &point) |
std::vector< Hpolyhedron > | split () |
int | clean () |
Number | support (Vector &a) |
Vector | getCoefficients () const |
Template | getTemplates () const |
void | setCoefficients (Vector coefficients) |
void | setTemplates (Template templates) |
Template | getAllTemplates () |
Vector | getAllCoefficients () |
Vertices | getVertices () |
void | inflate (Number inflat) |
const Box & | getBbox () const |
void | setBbox (const Box &bbox) |
Constructor & Destructor Documentation
Non consistent constructor
Constructor
- Parameters:
-
dim | dimension |
mat | template matrix corresponding to the inequalities set (mat x <= vec) |
vec | polyhedral coefficient corresponding to the inequalities set (mat x <= vec) |
Constructor from simplex
- Parameters:
-
simplex | simplex represented with vertices |
Constructor from box
- Parameters:
-
box | a box represented by interval products |
Member Function Documentation
Cleans the set representation by removing redundant constraints
- Returns:
- the number of redundant constraints removed
Inclusion test
- Parameters:
-
- Returns:
- return true if poly is included in this polyhedron, otherwise false
Inclusion test
- Parameters:
-
- Returns:
- return true if the point is included in this polyhedron, otherwise false
Optimization method (not implemented)
Reimplemented from nltool::Set.
Splits automatically the polyhedron in two
- Returns:
- two polyhedron whose union is this polyhedron
returns a real number b coresponding to the position of a half-space with normal a defined by the inequality <a,x> <= b such that it supports the actual set
- Parameters:
-
The documentation for this class was generated from the following files: