![]() |
Public Member Functions | |
| pointSet (const int _dim, const int _index=0, const int count=MAXINITELEMS) | |
| ~pointSet () | |
| onePointP | operator[] (const int index) |
| bool | addPoint (const onePointP vert) |
| Adds a point to pointSet, copy vert[0,...,dim] ot point[num+1][0,...,dim]. More... | |
| bool | addPoint (const int *vert) |
| Adds a point to pointSet, copy vert[0,...,dim] ot point[num+1][0,...,dim]. More... | |
| bool | addPoint (const Coord_t *vert) |
| Adds a point to pointSet, copy vert[0,...,dim] ot point[num+1][0,...,dim]. More... | |
| bool | removePoint (const int indx) |
| bool | mergeWithExp (const onePointP vert) |
| Adds point to pointSet, iff pointSet point = . More... | |
| bool | mergeWithExp (const int *vert) |
| Adds point to pointSet, iff pointSet point = . More... | |
| void | mergeWithPoly (const poly p) |
| void | getRowMP (const int indx, int *vert) |
| int | getExpPos (const poly p) |
| void | sort () |
| sort lex More... | |
| void | lift (int *l=NULL) |
| Lifts the point set using sufficiently generic linear lifting homogeneous forms l[1]..l[dim] in Z. More... | |
| void | unlift () |
Data Fields | |
| int | num |
| int | max |
| int | dim |
| int | index |
Private Member Functions | |
| pointSet (const pointSet &) | |
| bool | smaller (int, int) |
| points[a] < points[b] ? More... | |
| bool | larger (int, int) |
| points[a] > points[b] ? More... | |
| bool | checkMem () |
| Checks, if more mem is needed ( i.e. More... | |
Private Attributes | |
| onePointP * | points |
| bool | lifted |
Definition at line 162 of file mpr_base.cc.
| pointSet::pointSet | ( | const int | _dim, |
| const int | _index = 0, |
||
| const int | count = MAXINITELEMS |
||
| ) |
Definition at line 414 of file mpr_base.cc.
| pointSet::~pointSet | ( | ) |
Definition at line 427 of file mpr_base.cc.
| bool pointSet::addPoint | ( | const onePointP | vert | ) |
Adds a point to pointSet, copy vert[0,...,dim] ot point[num+1][0,...,dim].
Returns false, iff additional memory was allocated ( i.e. num >= max ) else returns true
Definition at line 466 of file mpr_base.cc.
| bool pointSet::addPoint | ( | const int * | vert | ) |
Adds a point to pointSet, copy vert[0,...,dim] ot point[num+1][0,...,dim].
Returns false, iff additional memory was allocated ( i.e. num >= max ) else returns true
Definition at line 477 of file mpr_base.cc.
Adds a point to pointSet, copy vert[0,...,dim] ot point[num+1][0,...,dim].
Returns false, iff additional memory was allocated ( i.e. num >= max ) else returns true
Definition at line 488 of file mpr_base.cc.
|
inlineprivate |
Checks, if more mem is needed ( i.e.
num >= max ), returns false, if more mem was allocated, else true
Definition at line 445 of file mpr_base.cc.
Definition at line 580 of file mpr_base.cc.
| void pointSet::getRowMP | ( | const int | indx, |
| int * | vert | ||
| ) |
Definition at line 601 of file mpr_base.cc.
|
inlineprivate |
| void pointSet::lift | ( | int * | l = NULL | ) |
Lifts the point set using sufficiently generic linear lifting homogeneous forms l[1]..l[dim] in Z.
Every l[i] is of the form L1x1+...+Lnxn, for generic L1..Ln in Z.
Lifting raises dimension by one!
Definition at line 672 of file mpr_base.cc.
| bool pointSet::mergeWithExp | ( | const onePointP | vert | ) |
Adds point to pointSet, iff pointSet point = .
Returns true, iff added, else false.
Definition at line 514 of file mpr_base.cc.
| bool pointSet::mergeWithExp | ( | const int * | vert | ) |
Adds point to pointSet, iff pointSet point = .
Returns true, iff added, else false.
Definition at line 533 of file mpr_base.cc.
Definition at line 552 of file mpr_base.cc.
|
inline |
Definition at line 439 of file mpr_base.cc.
| bool pointSet::removePoint | ( | const int | indx | ) |
Definition at line 499 of file mpr_base.cc.
|
inlineprivate |
| void pointSet::sort | ( | ) |
|
inline |
Definition at line 231 of file mpr_base.cc.
| int pointSet::dim |
Definition at line 171 of file mpr_base.cc.
| int pointSet::index |
Definition at line 172 of file mpr_base.cc.
|
private |
Definition at line 166 of file mpr_base.cc.
| int pointSet::max |
Definition at line 170 of file mpr_base.cc.
| int pointSet::num |
Definition at line 169 of file mpr_base.cc.
|
private |
Definition at line 165 of file mpr_base.cc.