Public Member Functions | |
| Coefficient | divisor () |
If this is either a point or a closure point, 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 Generator | closure_point (Linear_Expression e, Coefficient c) |
Returns the closure point at e / d. | |
| static Generator | line (Linear_Expression le) |
Returns the line of direction e. | |
| static Generator | point (Linear_Expression le, Coefficient d) |
Returns the point at e / d. | |
| static Generator | ray (Linear_Expression le) |
Returns the ray of direction e. | |
An object of the class Generator is one of the following:
| static Generator parma_polyhedra_library::Generator::closure_point | ( | Linear_Expression | e, | |
| Coefficient | c | |||
| ) | [inline, static] |
Returns the closure point at e / d.
| RuntimeErrorException | Thrown if d is zero. |
| static Generator parma_polyhedra_library::Generator::line | ( | Linear_Expression | le | ) | [inline, static] |
Returns the line of direction e.
| RuntimeErrorException | Thrown if the homogeneous part of e represents the origin of the vector space. |
| static Generator parma_polyhedra_library::Generator::point | ( | Linear_Expression | le, | |
| Coefficient | d | |||
| ) | [inline, static] |
Returns the point at e / d.
| RuntimeErrorException | Thrown if d is zero. |
| static Generator parma_polyhedra_library::Generator::ray | ( | Linear_Expression | le | ) | [inline, static] |
Returns the ray of direction e.
| RuntimeErrorException | Thrown if the homogeneous part of e represents the origin of the vector space. |
| Coefficient parma_polyhedra_library::Generator::divisor | ( | ) | [inline] |
If this is either a point or a closure point, returns its divisor.
| RuntimeErrorException | Thrown if this is neither a point nor a closure point. |
1.5.7.1