|
PPL Configured Java Language Interface
0.12.1
|
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 |
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.
Builds the object associated to the copy of v.
Definition at line 34 of file Linear_Expression_Variable.java.
References parma_polyhedra_library.Linear_Expression_Variable.arg, and parma_polyhedra_library.Variable.id().
Referenced by parma_polyhedra_library.Linear_Expression_Variable.clone().
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.
|
inlinevirtual |
Builds a copy of this.
Implements parma_polyhedra_library.Linear_Expression.
Definition at line 44 of file Linear_Expression_Variable.java.
References parma_polyhedra_library.Linear_Expression_Variable.arg, and parma_polyhedra_library.Linear_Expression_Variable.Linear_Expression_Variable().
|
staticprivate |
Reimplemented from parma_polyhedra_library.Linear_Expression.
|
inlineprivate |
Definition at line 48 of file Linear_Expression_Variable.java.
References parma_polyhedra_library.Linear_Expression_Variable.arg, and parma_polyhedra_library.Variable.id().
Definition at line 31 of file Linear_Expression_Variable.java.
Referenced by parma_polyhedra_library.Linear_Expression_Variable.argument(), parma_polyhedra_library.Linear_Expression_Variable.clone(), parma_polyhedra_library.Linear_Expression_Variable.Linear_Expression_Variable(), and parma_polyhedra_library.Linear_Expression_Variable.var_id().