|
PPL Java Language Interface
0.12.1
|
The sum of two linear expressions. More...


Public Member Functions | |
| Linear_Expression_Sum (Linear_Expression x, Linear_Expression y) | |
Builds an object that represents the sum of the copy of x and y. | |
| Linear_Expression | left_hand_side () |
Returns the left hand side of this. | |
| Linear_Expression | right_hand_side () |
Returns the right hand side of this. | |
| Linear_Expression_Sum | clone () |
| Builds a copy of this. | |
Protected Attributes | |
| Linear_Expression | lhs |
The value of the left hand side of this. | |
| Linear_Expression | rhs |
The value of the right hand side of this. | |
Static Private Member Functions | |
| static native void | initIDs () |
The sum of two linear expressions.
Definition at line 28 of file Linear_Expression_Sum.java.
|
inline |
Builds an object that represents the sum of the copy of x and y.
Definition at line 38 of file Linear_Expression_Sum.java.
References parma_polyhedra_library.Linear_Expression.clone(), parma_polyhedra_library.Linear_Expression_Sum.lhs, and parma_polyhedra_library.Linear_Expression_Sum.rhs.
Referenced by parma_polyhedra_library.Linear_Expression_Sum.clone().
|
inlinevirtual |
Builds a copy of this.
Implements parma_polyhedra_library.Linear_Expression.
Definition at line 54 of file Linear_Expression_Sum.java.
References parma_polyhedra_library.Linear_Expression_Sum.lhs, parma_polyhedra_library.Linear_Expression_Sum.Linear_Expression_Sum(), and parma_polyhedra_library.Linear_Expression_Sum.rhs.
|
staticprivate |
Reimplemented from parma_polyhedra_library.Linear_Expression.
Returns the left hand side of this.
Definition at line 44 of file Linear_Expression_Sum.java.
References parma_polyhedra_library.Linear_Expression_Sum.lhs.
Returns the right hand side of this.
Definition at line 49 of file Linear_Expression_Sum.java.
References parma_polyhedra_library.Linear_Expression_Sum.rhs.
The value of the left hand side of this.
Definition at line 32 of file Linear_Expression_Sum.java.
Referenced by parma_polyhedra_library.Linear_Expression_Sum.clone(), parma_polyhedra_library.Linear_Expression_Sum.left_hand_side(), and parma_polyhedra_library.Linear_Expression_Sum.Linear_Expression_Sum().
The value of the right hand side of this.
Definition at line 35 of file Linear_Expression_Sum.java.
Referenced by parma_polyhedra_library.Linear_Expression_Sum.clone(), parma_polyhedra_library.Linear_Expression_Sum.Linear_Expression_Sum(), and parma_polyhedra_library.Linear_Expression_Sum.right_hand_side().