| PPL Java Language Interface
    1.1
    | 
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 xandy. | |
| 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. | |
|  Public Member Functions inherited from parma_polyhedra_library.Linear_Expression | |
| Linear_Expression | sum (Linear_Expression y) | 
| Returns the sum of thisandy. | |
| Linear_Expression | subtract (Linear_Expression y) | 
| Returns the difference of thisandy. | |
| Linear_Expression | times (Coefficient c) | 
| Returns the product of thistimesc. | |
| Linear_Expression | unary_minus () | 
| Returns the negation of this. | |
| native String | ascii_dump () | 
| Returns an ascii formatted internal representation of this. | |
| native String | toString () | 
| Returns a string representation of this. | |
| native boolean | is_zero () | 
| Returns trueif and only ifthisis . | |
| native boolean | all_homogeneous_terms_are_zero () | 
| Returns trueif and only if all the homogeneous terms ofthisare . | |
| 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. | |
The difference of two linear expressions.