parma_polyhedra_library.Variable Class Reference

A dimension of the vector space. More...

Inheritance diagram for parma_polyhedra_library.Variable:

Collaboration diagram for parma_polyhedra_library.Variable:

Public Member Functions
	Variable (long i)
	Builds the variable corresponding to the Cartesian axis of index i. More...
long	id ()
	Returns the index of the Cartesian axis associated to this. More...
int	compareTo (Variable v)
	Returns a negative number if this is smaller than v, a zero if this equals v, a positive number if v is greater than v. More...
native String	toString ()

Static Public Member Functions
static native void	setStringifier (Variable_Stringifier vs)
	Sets the variable stringifier object. More...

Static Private Member Functions
static native void	initIDs ()

Private Attributes
long	varid
	The index of the Cartesian axis. More...

Static Private Attributes
static Variable_Stringifier	stringifier
	Optional customization provider for toString. More...

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 ( long  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.

Member Function Documentation

int parma_polyhedra_library.Variable.compareTo ( Variable  v )

inline

Returns a negative number if this is smaller than v, a zero if this equals v, a positive number if v is greater than v.

Definition at line 67 of file Variable.java.

References parma_polyhedra_library.Variable.varid.

long 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

static native void parma_polyhedra_library.Variable.setStringifier ( Variable_Stringifier  vs )

static

Sets the variable stringifier object.

A variable stringifier object provides customization for the toString method; if no variable stringifier object is set (or if it is set to a null refeerence value), the PPL default variable output function will be used.

native String parma_polyhedra_library.Variable.toString

(

)

Member Data Documentation

Variable_Stringifier parma_polyhedra_library.Variable.stringifier

staticprivate

Optional customization provider for toString.

Definition at line 77 of file Variable.java.

long 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(), and parma_polyhedra_library.Variable.id().

---

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

• Variable.java