parma_polyhedra_library::Grid_Generator Class Reference
[Java Language Interface]
A grid line, parameter or grid point.
More...
List of all members.
Detailed Description
A grid line, parameter or grid point.
An object of the class Grid_Generator is one of the following:
- a grid_line;
- a parameter;
- a grid_point.
Member Function Documentation
Returns the line of direction e
.
- Exceptions:
-
| RuntimeErrorException | Thrown if the homogeneous part of e represents the origin of the vector space. |
Returns the parameter at e
/ d
.
- Exceptions:
-
| RuntimeErrorException | Thrown if d is zero. |
Returns the point at e
/ d
.
- Exceptions:
-
| RuntimeErrorException | Thrown if d is zero. |
Coefficient parma_polyhedra_library::Grid_Generator::divisor |
( |
|
) |
[inline] |
If this
is either a grid point or a parameter, returns its divisor.
- Exceptions:
-
| RuntimeErrorException | Thrown if this is a line. |
The documentation for this class was generated from the following file: