PPL Configured Java Language Interface  1.2
parma_polyhedra_library.Linear_Expression_Times Class Reference

The product of a linear expression and a coefficient. More...

Inheritance diagram for parma_polyhedra_library.Linear_Expression_Times:
Collaboration diagram for parma_polyhedra_library.Linear_Expression_Times:

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...
 
- Public Member Functions inherited from parma_polyhedra_library.Linear_Expression
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 $0$. More...
 
native boolean all_homogeneous_terms_are_zero ()
 Returns true if and only if all the homogeneous terms of this are $0$. More...
 

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 ()
 

Detailed Description

The product of a linear expression and a coefficient.

Definition at line 28 of file Linear_Expression_Times.java.

Constructor & Destructor Documentation

parma_polyhedra_library.Linear_Expression_Times.Linear_Expression_Times ( Coefficient  c,
Variable  v 
)
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().

parma_polyhedra_library.Linear_Expression_Times.Linear_Expression_Times ( Coefficient  c,
Linear_Expression  l 
)
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().

parma_polyhedra_library.Linear_Expression_Times.Linear_Expression_Times ( Linear_Expression  l,
Coefficient  c 
)
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().

Member Function Documentation

Linear_Expression_Times parma_polyhedra_library.Linear_Expression_Times.clone ( )
inline
Coefficient parma_polyhedra_library.Linear_Expression_Times.coefficient ( )
inline

Returns the coefficient of this.

Definition at line 56 of file Linear_Expression_Times.java.

References parma_polyhedra_library.Linear_Expression_Times.coeff.

static native void parma_polyhedra_library.Linear_Expression_Times.initIDs ( )
staticprivate
Linear_Expression parma_polyhedra_library.Linear_Expression_Times.linear_expression ( )
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.

Member Data Documentation

Coefficient parma_polyhedra_library.Linear_Expression_Times.coeff
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().

Linear_Expression parma_polyhedra_library.Linear_Expression_Times.lin_expr
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().


The documentation for this class was generated from the following file: