PPL Java Language Interface 0.12
parma_polyhedra_library::Generator Class Reference

A line, ray, point or closure point. More...

List of all members.

Public Member Functions

Generator_Type type ()
 Returns the generator type.
Linear_Expression linear_expression ()
 Returns the linear expression in this.
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 d)
 Returns the closure point at e / d.
static Generator line (Linear_Expression e)
 Returns the line of direction e.
static Generator point (Linear_Expression e, Coefficient d)
 Returns the point at e / d.
static Generator ray (Linear_Expression e)
 Returns the ray of direction e.

Detailed Description

A line, ray, point or closure point.

An object of the class Generator is one of the following:

  • a line;
  • a ray;
  • a point;
  • a closure point.

Member Function Documentation

static Generator parma_polyhedra_library::Generator::closure_point ( Linear_Expression  e,
Coefficient  d 
) [inline, static]

Returns the closure point at e / d.

Exceptions:
RuntimeErrorExceptionThrown if d is zero.
static Generator parma_polyhedra_library::Generator::line ( Linear_Expression  e) [inline, static]

Returns the line of direction e.

Exceptions:
RuntimeErrorExceptionThrown if the homogeneous part of e represents the origin of the vector space.
static Generator parma_polyhedra_library::Generator::point ( Linear_Expression  e,
Coefficient  d 
) [inline, static]

Returns the point at e / d.

Exceptions:
RuntimeErrorExceptionThrown if d is zero.
static Generator parma_polyhedra_library::Generator::ray ( Linear_Expression  e) [inline, static]

Returns the ray of direction e.

Exceptions:
RuntimeErrorExceptionThrown 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.

Exceptions:
RuntimeErrorExceptionThrown if this is neither a point nor a closure point.

The documentation for this class was generated from the following file: