parma_polyhedra_library::Variable Class Reference
[Java Language Interface]

A dimension of the vector space. More...

List of all members.

Public Member Functions

 Variable (int i)
 Builds the variable corresponding to the Cartesian axis of index i.
int id ()
 Returns the index of the Cartesian axis associated to this.
int compareTo (Variable v)
 Returns a negative number if this comes first than v, a zero if this equals v, a positive number if if this comes first than v.


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 ( int  i  )  [inline]

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

Exceptions:
RuntimeErrorException Thrown if i is has negative value.


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