parma_polyhedra_library::Grid_Generator Class Reference
[Java Language Interface]

A grid line, parameter or grid point. More...

List of all members.

Public Member Functions

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 c)
 Returns the parameter of direction e and size e/d.
static Grid_Generator grid_point (Linear_Expression e, Coefficient c)
 Returns the point at e / d.


Detailed Description

A grid line, parameter or grid point.

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


Member Function Documentation

static Grid_Generator parma_polyhedra_library::Grid_Generator::grid_line ( Linear_Expression  e  )  [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 Grid_Generator parma_polyhedra_library::Grid_Generator::parameter ( Linear_Expression  e,
Coefficient  c 
) [inline, static]

Returns the parameter of direction e and size e/d.

Both e and d are optional arguments, with default values Linear_Expression::zero() and Coefficient_one(), respectively.

Exceptions:
RuntimeErrorException Thrown if d is zero.

static Grid_Generator parma_polyhedra_library::Grid_Generator::grid_point ( Linear_Expression  e,
Coefficient  c 
) [inline, static]

Returns the point at e / d.

Both e and d are optional arguments, with default values Linear_Expression::zero() and Coefficient_one(), respectively.

Exceptions:
RuntimeErrorException Thrown if d is zero.


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