A linear expression. More...
Inherited by parma_polyhedra_library::Linear_Expression_Coefficient, parma_polyhedra_library::Linear_Expression_Difference, parma_polyhedra_library::Linear_Expression_Sum, parma_polyhedra_library::Linear_Expression_Times, parma_polyhedra_library::Linear_Expression_Unary_Minus, and parma_polyhedra_library::Linear_Expression_Variable.
Public Member Functions | |
| Linear_Expression | sum (Linear_Expression y) |
Returns the sum of this and y. | |
| Linear_Expression | subtract (Linear_Expression y) |
Returns the difference of this and y. | |
| Linear_Expression | times (Coefficient c) |
Returns the product of this times c. | |
| Linear_Expression | unary_minus () |
Returns the negation of this. | |
| abstract Linear_Expression | clone () |
| Returns a copy of the linear expression. | |
| 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 true if and only if *this is . | |
| native boolean | all_homogeneous_terms_are_zero () |
Returns true if and only if all the homogeneous terms of *this are . | |
A linear expression.
An object of the class Linear_Expression represents a linear expression that can be built from a Linear_Expression_Variable, Linear_Expression_Coefficient, Linear_Expression_Sum, Linear_Expression_Difference, Linear_Expression_Unary_Minus.
1.6.3