PPL Configured Java Language Interface
1.2
|
The product of a linear expression and a coefficient. More...
Public Member Functions | |
Linear_Expression_Times (Coefficient c, Variable v) | |
Builds an object cloning the input arguments. More... | |
Linear_Expression_Times (Coefficient c, Linear_Expression l) | |
Builds an object cloning the input arguments. More... | |
Linear_Expression_Times (Linear_Expression l, Coefficient c) | |
Builds an object cloning the input arguments. More... | |
Coefficient | coefficient () |
Returns the coefficient of this . More... | |
Linear_Expression | linear_expression () |
Returns the linear expression subobject of this . More... | |
Linear_Expression_Times | clone () |
Builds a copy of this. More... | |
![]() | |
Linear_Expression | sum (Linear_Expression y) |
Returns the sum of this and y . More... | |
Linear_Expression | subtract (Linear_Expression y) |
Returns the difference of this and y . More... | |
Linear_Expression | times (Coefficient c) |
Returns the product of this times c . More... | |
Linear_Expression | unary_minus () |
Returns the negation of this . More... | |
abstract Linear_Expression | clone () |
Returns a copy of the linear expression. More... | |
native String | ascii_dump () |
Returns an ascii formatted internal representation of this . More... | |
native String | toString () |
Returns a string representation of this . More... | |
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 ![]() | |
Protected Attributes | |
Coefficient | coeff |
The value of the coefficient. More... | |
Linear_Expression | lin_expr |
The value of the inner linear expression. More... | |
Static Private Member Functions | |
static native void | initIDs () |
The product of a linear expression and a coefficient.
Definition at line 28 of file Linear_Expression_Times.java.
|
inline |
Builds an object cloning the input arguments.
Definition at line 38 of file Linear_Expression_Times.java.
Referenced by parma_polyhedra_library.Linear_Expression_Times.clone().
|
inline |
Builds an object cloning the input arguments.
Definition at line 44 of file Linear_Expression_Times.java.
References parma_polyhedra_library.Linear_Expression.clone().
|
inline |
Builds an object cloning the input arguments.
Definition at line 50 of file Linear_Expression_Times.java.
References parma_polyhedra_library.Linear_Expression.clone().
|
inline |
Builds a copy of this.
Definition at line 66 of file Linear_Expression_Times.java.
References parma_polyhedra_library.Linear_Expression_Times.Linear_Expression_Times().
|
inline |
Returns the coefficient of this
.
Definition at line 56 of file Linear_Expression_Times.java.
References parma_polyhedra_library.Linear_Expression_Times.coeff.
|
staticprivate |
|
inline |
Returns the linear expression subobject of this
.
Definition at line 61 of file Linear_Expression_Times.java.
References parma_polyhedra_library.Linear_Expression_Times.lin_expr.
|
protected |
The value of the coefficient.
Definition at line 32 of file Linear_Expression_Times.java.
Referenced by parma_polyhedra_library.Linear_Expression_Times.coefficient().
|
protected |
The value of the inner linear expression.
Definition at line 35 of file Linear_Expression_Times.java.
Referenced by parma_polyhedra_library.Linear_Expression_Times.linear_expression().