PPL Java Language Interface 0.12
|
A grid line, parameter or grid point. More...
Public Member Functions | |
Grid_Generator_Type | type () |
Returns the generator type. | |
Linear_Expression | linear_expression () |
Returns the linear expression in this . | |
Coefficient | divisor () |
If this is either a grid point or a parameter, returns its divisor. | |
native String | ascii_dump () |
Returns an ascii formatted internal representation of this . | |
native String | toString () |
Returns a string representation of this . | |
Static Public Member Functions | |
static Grid_Generator | grid_line (Linear_Expression e) |
Returns the line of direction e . | |
static Grid_Generator | parameter (Linear_Expression e, Coefficient d) |
Returns the parameter at e / d . | |
static Grid_Generator | grid_point (Linear_Expression e, Coefficient d) |
Returns the point at e / d . |
A grid line, parameter or grid point.
An object of the class Grid_Generator is one of the following:
static Grid_Generator parma_polyhedra_library::Grid_Generator::grid_line | ( | Linear_Expression | e | ) | [inline, static] |
Returns the line of direction e
.
RuntimeErrorException | Thrown if the homogeneous part of e represents the origin of the vector space. |
static Grid_Generator parma_polyhedra_library::Grid_Generator::parameter | ( | Linear_Expression | e, |
Coefficient | d | ||
) | [inline, static] |
Returns the parameter at e
/ d
.
RuntimeErrorException | Thrown if d is zero. |
static Grid_Generator parma_polyhedra_library::Grid_Generator::grid_point | ( | Linear_Expression | e, |
Coefficient | d | ||
) | [inline, static] |
Returns the point at e
/ d
.
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.
RuntimeErrorException | Thrown if this is a line. |