parma_polyhedra_library.Linear_Expression Class Reference

A linear expression. More...

Inheritance diagram for parma_polyhedra_library.Linear_Expression:

Collaboration diagram for parma_polyhedra_library.Linear_Expression:

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

Static Private Member Functions
static native void	initIDs ()

Detailed Description

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 33 of file Linear_Expression.java.

Member Function Documentation

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

abstract

Returns a copy of the linear expression.

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

staticprivate

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 41 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 36 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 46 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 51 of file Linear_Expression.java.

---

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

• Linear_Expression.java