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.

Static Package Functions

 [static initializer]

Static Private Member Functions

static native void initIDs ()

Private Attributes

int varid
 The index of the Cartesian axis.

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

Definition at line 38 of file Variable.java.


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.

Definition at line 47 of file Variable.java.

References varid.


Member Function Documentation

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]

Member Data Documentation

The index of the Cartesian axis.

Definition at line 40 of file Variable.java.

Referenced by compareTo(), id(), and Variable().


The documentation for this class was generated from the following file:
Generated on Sun Feb 27 16:35:28 2011 for PPL Configured Java Language Interface by  doxygen 1.6.3