A dimension of the vector space. More...
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. | |
Static Package Functions | |
| [static initializer] | |
Static Private Member Functions | |
| static native void | initIDs () |
Private Attributes | |
| int | varid |
| The index of the Cartesian axis. | |
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).
Definition at line 38 of file Variable.java.
| parma_polyhedra_library::Variable::Variable | ( | int | i | ) | [inline] |
Builds the variable corresponding to the Cartesian axis of index i.
| RuntimeErrorException | Thrown if i is has negative value. |
Definition at line 47 of file Variable.java.
References varid.
| parma_polyhedra_library::Variable::[static initializer] | ( | ) | [inline, static, package] |
| int parma_polyhedra_library::Variable::compareTo | ( | Variable | v | ) | [inline] |
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.
Definition at line 67 of file Variable.java.
References varid.
| int parma_polyhedra_library::Variable::id | ( | ) | [inline] |
Returns the index of the Cartesian axis associated to this.
Definition at line 58 of file Variable.java.
References varid.
Referenced by parma_polyhedra_library::Linear_Expression_Variable::Linear_Expression_Variable(), and parma_polyhedra_library::Linear_Expression_Variable::var_id().
| static native void parma_polyhedra_library::Variable::initIDs | ( | ) | [static, private] |
int parma_polyhedra_library::Variable::varid [private] |
The index of the Cartesian axis.
Definition at line 40 of file Variable.java.
Referenced by compareTo(), id(), and Variable().
1.6.3