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.
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 parma_polyhedra_library.Variable.varid.

---

Member Function Documentation

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 parma_polyhedra_library.Variable.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 parma_polyhedra_library.Variable.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 ( )

staticprivate

---

Member Data Documentation

int parma_polyhedra_library.Variable.varid

private

The index of the Cartesian axis.

Definition at line 40 of file Variable.java.

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

---

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

• Variable.java