A linear expression. More...

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 . | |
Static Package Functions | |
| [static initializer] | |
Static Private Member Functions | |
| static native void | initIDs () |
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.
Definition at line 36 of file Linear_Expression.java.
| parma_polyhedra_library::Linear_Expression::[static initializer] | ( | ) | [inline, static, package] |
Reimplemented in 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.
| native boolean parma_polyhedra_library::Linear_Expression::all_homogeneous_terms_are_zero | ( | ) |
Returns true if and only if all the homogeneous terms of *this are
.
| native String parma_polyhedra_library::Linear_Expression::ascii_dump | ( | ) |
Returns an ascii formatted internal representation of this.
| abstract Linear_Expression parma_polyhedra_library::Linear_Expression::clone | ( | ) | [pure virtual] |
Returns a copy of the linear expression.
Implemented in 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.
Referenced by parma_polyhedra_library::Artificial_Parameter::Artificial_Parameter(), parma_polyhedra_library::Congruence::Congruence(), parma_polyhedra_library::Constraint::Constraint(), parma_polyhedra_library::Generator::Generator(), parma_polyhedra_library::Grid_Generator::Grid_Generator(), parma_polyhedra_library::Linear_Expression_Difference::Linear_Expression_Difference(), parma_polyhedra_library::Linear_Expression_Sum::Linear_Expression_Sum(), parma_polyhedra_library::Linear_Expression_Times::Linear_Expression_Times(), and parma_polyhedra_library::Linear_Expression_Unary_Minus::Linear_Expression_Unary_Minus().
| static native void parma_polyhedra_library::Linear_Expression::initIDs | ( | ) | [static, private] |
Reimplemented in 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.
| native boolean parma_polyhedra_library::Linear_Expression::is_zero | ( | ) |
Returns true if and only if *this is
.
| Linear_Expression parma_polyhedra_library::Linear_Expression::subtract | ( | Linear_Expression | y | ) | [inline] |
Returns the difference of this and y.
Definition at line 44 of file Linear_Expression.java.
| Linear_Expression parma_polyhedra_library::Linear_Expression::sum | ( | Linear_Expression | y | ) | [inline] |
Returns the sum of this and y.
Definition at line 39 of file Linear_Expression.java.
| Linear_Expression parma_polyhedra_library::Linear_Expression::times | ( | Coefficient | c | ) | [inline] |
Returns the product of this times c.
Definition at line 49 of file Linear_Expression.java.
| native String parma_polyhedra_library::Linear_Expression::toString | ( | ) |
Returns a string representation of this.
| Linear_Expression parma_polyhedra_library::Linear_Expression::unary_minus | ( | ) | [inline] |
Returns the negation of this.
Definition at line 54 of file Linear_Expression.java.
1.6.3