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. | |
Static Package Functions | |
| [static initializer] | |
Private Member Functions | |
| Grid_Generator (Linear_Expression e, Coefficient d, Grid_Generator_Type generator_type) | |
Static Private Member Functions | |
| static native void | initIDs () |
Private Attributes | |
| Grid_Generator_Type | gt |
| The grid generator type. | |
| Linear_Expression | le |
| The linear expression. | |
| Coefficient | div |
| The coefficient used if the grid generator is a parameter or a grid point a parameter. | |
A grid line, parameter or grid point.
An object of the class Grid_Generator is one of the following:
Definition at line 37 of file Grid_Generator.java.
| parma_polyhedra_library::Grid_Generator::Grid_Generator | ( | Linear_Expression | e, | |
| Coefficient | d, | |||
| Grid_Generator_Type | generator_type | |||
| ) | [inline, private] |
Definition at line 51 of file Grid_Generator.java.
References parma_polyhedra_library::Linear_Expression::clone(), div, gt, and le.
Referenced by grid_line(), grid_point(), and parameter().
| parma_polyhedra_library::Grid_Generator::[static initializer] | ( | ) | [inline, static, package] |
| native String parma_polyhedra_library::Grid_Generator::ascii_dump | ( | ) |
Returns an ascii formatted internal representation of this.
| 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. |
Definition at line 104 of file Grid_Generator.java.
| 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. |
Definition at line 64 of file Grid_Generator.java.
References Grid_Generator().
| 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. |
Definition at line 84 of file Grid_Generator.java.
References Grid_Generator().
| static native void parma_polyhedra_library::Grid_Generator::initIDs | ( | ) | [static, private] |
| Linear_Expression parma_polyhedra_library::Grid_Generator::linear_expression | ( | ) | [inline] |
Returns the linear expression in this.
Definition at line 95 of file Grid_Generator.java.
References le.
| 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. |
Definition at line 74 of file Grid_Generator.java.
References Grid_Generator().
| native String parma_polyhedra_library::Grid_Generator::toString | ( | ) |
Returns a string representation of this.
| Grid_Generator_Type parma_polyhedra_library::Grid_Generator::type | ( | ) | [inline] |
The coefficient used if the grid generator is a parameter or a grid point a parameter.
Definition at line 49 of file Grid_Generator.java.
Referenced by divisor(), and Grid_Generator().
The grid generator type.
Definition at line 40 of file Grid_Generator.java.
Referenced by divisor(), Grid_Generator(), and type().
The linear expression.
Definition at line 43 of file Grid_Generator.java.
Referenced by Grid_Generator(), and linear_expression().
1.6.3