PPL Java Language Interface  1.0
parma_polyhedra_library.Variable Class Reference

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:
RuntimeErrorExceptionThrown if i is has negative value.

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