The difference of two linear expressions. More...


Public Member Functions | |
| Linear_Expression_Difference (Linear_Expression x, Linear_Expression y) | |
Builds an object that represents the difference of the copy x and y. | |
| Linear_Expression | left_hand_side () |
Returns the left hand side of this. | |
| Linear_Expression | right_hand_side () |
Returns the left hand side of this. | |
| Linear_Expression_Difference | 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 Package Functions | |
| [static initializer] | |
Static Private Member Functions | |
| static native void | initIDs () |
The difference of two linear expressions.
Definition at line 28 of file Linear_Expression_Difference.java.
| parma_polyhedra_library::Linear_Expression_Difference::Linear_Expression_Difference | ( | Linear_Expression | x, | |
| Linear_Expression | y | |||
| ) | [inline] |
Builds an object that represents the difference of the copy x and y.
Definition at line 41 of file Linear_Expression_Difference.java.
References parma_polyhedra_library::Linear_Expression::clone(), lhs, and rhs.
Referenced by clone().
| parma_polyhedra_library::Linear_Expression_Difference::[static initializer] | ( | ) | [inline, static, package] |
Reimplemented from parma_polyhedra_library::Linear_Expression.
| Linear_Expression_Difference parma_polyhedra_library::Linear_Expression_Difference::clone | ( | ) | [inline, virtual] |
Builds a copy of this.
Implements parma_polyhedra_library::Linear_Expression.
Definition at line 58 of file Linear_Expression_Difference.java.
References lhs, Linear_Expression_Difference(), and rhs.
| static native void parma_polyhedra_library::Linear_Expression_Difference::initIDs | ( | ) | [static, private] |
Reimplemented from parma_polyhedra_library::Linear_Expression.
| Linear_Expression parma_polyhedra_library::Linear_Expression_Difference::left_hand_side | ( | ) | [inline] |
Returns the left hand side of this.
Definition at line 48 of file Linear_Expression_Difference.java.
References lhs.
| Linear_Expression parma_polyhedra_library::Linear_Expression_Difference::right_hand_side | ( | ) | [inline] |
Returns the left hand side of this.
Definition at line 53 of file Linear_Expression_Difference.java.
References rhs.
The value of the left hand side of this.
Definition at line 32 of file Linear_Expression_Difference.java.
Referenced by clone(), left_hand_side(), and Linear_Expression_Difference().
The value of the right hand side of this.
Definition at line 35 of file Linear_Expression_Difference.java.
Referenced by clone(), Linear_Expression_Difference(), and right_hand_side().
1.6.3