PPL Configured Java Language Interface  1.2
parma_polyhedra_library.Linear_Expression_Coefficient Class Reference

A linear expression built from a coefficient. More...

Inheritance diagram for parma_polyhedra_library.Linear_Expression_Coefficient:

Public Member Functions

 Linear_Expression_Coefficient (Coefficient c)
 Builds the object corresponding to a copy of the coefficient c.
 
Coefficient argument ()
 Returns coefficient representing the linear expression.
 
Linear_Expression_Coefficient 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 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 $0$.
 
native boolean all_homogeneous_terms_are_zero ()
 Returns true if and only if all the homogeneous terms of this are $0$.
 

Protected Attributes

Coefficient coeff
 The coefficient representing the linear expression.
 

Detailed Description

A linear expression built from a coefficient.


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