parma_polyhedra_library.Generator Class Reference

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

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. More...
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. More...
static Generator	line (Linear_Expression e)
	Returns the line of direction e. More...
static Generator	point (Linear_Expression e, Coefficient d)
	Returns the point at e / d. More...
static Generator	ray (Linear_Expression e)
	Returns the ray of direction e. More...

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  )

inlinestatic

Returns the closure point at e / d.

Exceptions

RuntimeErrorException

Thrown if d is zero.

static Generator parma_polyhedra_library.Generator.line ( Linear_Expression  e )

inlinestatic

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  e, Coefficient  d  )

inlinestatic

Returns the point at e / d.

Exceptions

RuntimeErrorException

Thrown if d is zero.

static Generator parma_polyhedra_library.Generator.ray ( Linear_Expression  e )

inlinestatic

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:

• Generator.java