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

Public Member Functions
Grid_Generator_Type	type ()
	Returns the generator type.

Linear_Expression	linear_expression ()
	Returns the linear expression in `this`.

Coefficient	divisor ()
	If `this` is either a grid point or a parameter, 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 Grid_Generator	grid_line (Linear_Expression e)
	Returns the line of direction `e`. More...

static Grid_Generator	parameter (Linear_Expression e, Coefficient d)
	Returns the parameter at `e` / `d`. More...

static Grid_Generator	grid_point (Linear_Expression e, Coefficient d)
	Returns the point at `e` / `d`. More...

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 )

inlinestatic

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	d
	)

inlinestatic

Returns the parameter at e / d.

Exceptions

RuntimeErrorException Thrown if d is zero.

static Grid_Generator parma_polyhedra_library.Grid_Generator.grid_point	(	Linear_Expression	e,
		Coefficient	d
	)

inlinestatic

Returns the point at e / d.

Exceptions

RuntimeErrorException Thrown if d is zero.

Coefficient parma_polyhedra_library.Grid_Generator.divisor ( )

inline

If this is either a grid point or a parameter, returns its divisor.

Exceptions

RuntimeErrorException Thrown if this is a line.

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