parma_polyhedra_library::Generator Class Reference
[Java Language Interface]

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

List of all members.

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.


Detailed Description

A line, ray, point or closure point.

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


Member Function Documentation

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

Returns the closure point at e / d.

Exceptions:
RuntimeErrorException Thrown if d is zero.

static Generator parma_polyhedra_library::Generator::line ( Linear_Expression  le  )  [inline, static]

Returns the line of direction e.

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

Exceptions:
RuntimeErrorException Thrown if d is zero.

static Generator parma_polyhedra_library::Generator::ray ( Linear_Expression  le  )  [inline, static]

Returns the ray of direction e.

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

Exceptions:
RuntimeErrorException Thrown if this is neither a point nor a closure point.


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

Generated on Tue Apr 14 07:13:26 2009 for PPL Java Language Interface by  doxygen 1.5.7.1