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


Public Member Functions | |
| Linear_Expression_Variable (Variable v) | |
Builds the object associated to the copy of v. | |
| Variable | argument () |
| Returns the variable representing the linear expression. | |
| Linear_Expression_Variable | clone () |
| Builds a copy of this. | |
Protected Attributes | |
| Variable | arg |
Static Package Functions | |
| [static initializer] | |
Private Member Functions | |
| int | var_id () |
Static Private Member Functions | |
| static native void | initIDs () |
A linear expression built from a variable.
Definition at line 28 of file Linear_Expression_Variable.java.
| 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 arg, and parma_polyhedra_library::Variable::id().
Referenced by clone().
| parma_polyhedra_library::Linear_Expression_Variable::[static initializer] | ( | ) | [inline, static, package] |
Reimplemented from parma_polyhedra_library::Linear_Expression.
| 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 arg.
| Linear_Expression_Variable parma_polyhedra_library::Linear_Expression_Variable::clone | ( | ) | [inline, virtual] |
Builds a copy of this.
Implements parma_polyhedra_library::Linear_Expression.
Definition at line 44 of file Linear_Expression_Variable.java.
References arg, and Linear_Expression_Variable().
| static native void parma_polyhedra_library::Linear_Expression_Variable::initIDs | ( | ) | [static, private] |
Reimplemented from parma_polyhedra_library::Linear_Expression.
| int parma_polyhedra_library::Linear_Expression_Variable::var_id | ( | ) | [inline, private] |
Definition at line 48 of file Linear_Expression_Variable.java.
References arg, and parma_polyhedra_library::Variable::id().
Definition at line 31 of file Linear_Expression_Variable.java.
Referenced by argument(), clone(), Linear_Expression_Variable(), and var_id().
1.6.3