parma_polyhedra_library.Variable Class Reference

A dimension of the vector space. More...

Inherits Comparable< Variable >.

Public Member Functions
	Variable (long i)
	Builds the variable corresponding to the Cartesian axis of index i. More...
long	id ()
	Returns the index of the Cartesian axis associated to this.
int	compareTo (Variable v)
	Returns a negative number if this is smaller than v, a zero if this equals v, a positive number if v is greater than v.

Static Public Member Functions
static native void	setStringifier (Variable_Stringifier vs)
	Sets the variable stringifier object. More...

Detailed Description

A dimension of the vector space.

An object of the class Variable represents a dimension of the space, that is one of the Cartesian axes. Variables are used as basic blocks in order to build more complex linear expressions. Each variable is identified by a non-negative integer, representing the index of the corresponding Cartesian axis (the first axis has index 0).

Constructor & Destructor Documentation

parma_polyhedra_library.Variable.Variable ( long  i )

inline

Builds the variable corresponding to the Cartesian axis of index i.

Exceptions

RuntimeErrorException

Thrown if i is has negative value.

Member Function Documentation

static native void parma_polyhedra_library.Variable.setStringifier ( Variable_Stringifier  vs )

static

Sets the variable stringifier object.

A variable stringifier object provides customization for the toString method; if no variable stringifier object is set (or if it is set to a null refeerence value), the PPL default variable output function will be used.

---

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

• Variable.java