parma_polyhedra_library.Linear_Expression_Variable Class Reference

A linear expression built from a variable. More...

Inheritance diagram for parma_polyhedra_library.Linear_Expression_Variable:

Collaboration diagram for parma_polyhedra_library.Linear_Expression_Variable:

Public Member Functions
	Linear_Expression_Variable (Variable v)
	Builds the object associated to the copy of v. More...
Variable	argument ()
	Returns the variable representing the linear expression. More...
Linear_Expression_Variable	clone ()
	Builds a copy of this. More...
Public Member Functions inherited from parma_polyhedra_library.Linear_Expression
Linear_Expression	sum (Linear_Expression y)
	Returns the sum of this and y. More...
Linear_Expression	subtract (Linear_Expression y)
	Returns the difference of this and y. More...
Linear_Expression	times (Coefficient c)
	Returns the product of this times c. More...
Linear_Expression	unary_minus ()
	Returns the negation of this. More...
abstract Linear_Expression	clone ()
	Returns a copy of the linear expression. More...
native String	ascii_dump ()
	Returns an ascii formatted internal representation of this. More...
native String	toString ()
	Returns a string representation of this. More...
native boolean	is_zero ()
	Returns true if and only if this is . More...
native boolean	all_homogeneous_terms_are_zero ()
	Returns true if and only if all the homogeneous terms of this are . More...

Protected Attributes
Variable	arg

Private Member Functions
long	var_id ()

Static Private Member Functions
static native void	initIDs ()

Detailed Description

A linear expression built from a variable.

Definition at line 28 of file Linear_Expression_Variable.java.

Constructor & Destructor Documentation

parma_polyhedra_library.Linear_Expression_Variable.Linear_Expression_Variable ( Variable  v )

inline

Builds the object associated to the copy of v.

Definition at line 34 of file Linear_Expression_Variable.java.

References parma_polyhedra_library.Variable.id().

Referenced by parma_polyhedra_library.Linear_Expression_Variable.clone().

Member Function Documentation

Variable parma_polyhedra_library.Linear_Expression_Variable.argument ( )

inline

Returns the variable representing the linear expression.

Definition at line 39 of file Linear_Expression_Variable.java.

References parma_polyhedra_library.Linear_Expression_Variable.arg.

Linear_Expression_Variable parma_polyhedra_library.Linear_Expression_Variable.clone ( )

inline

Builds a copy of this.

Definition at line 44 of file Linear_Expression_Variable.java.

References parma_polyhedra_library.Linear_Expression_Variable.Linear_Expression_Variable().

static native void parma_polyhedra_library.Linear_Expression_Variable.initIDs ( )

staticprivate

long parma_polyhedra_library.Linear_Expression_Variable.var_id ( )

inlineprivate

Definition at line 48 of file Linear_Expression_Variable.java.

References parma_polyhedra_library.Variable.id().

Member Data Documentation

Variable parma_polyhedra_library.Linear_Expression_Variable.arg

protected

Definition at line 31 of file Linear_Expression_Variable.java.

Referenced by parma_polyhedra_library.Linear_Expression_Variable.argument().

---

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

• Linear_Expression_Variable.java