parma_polyhedra_library.Linear_Expression_Sum Class Reference

The sum of two linear expressions. More...

Inheritance diagram for parma_polyhedra_library.Linear_Expression_Sum:

Collaboration diagram for parma_polyhedra_library.Linear_Expression_Sum:

Public Member Functions
	Linear_Expression_Sum (Linear_Expression x, Linear_Expression y)
	Builds an object that represents the sum of the copy of x and y. More...
Linear_Expression	left_hand_side ()
	Returns the left hand side of this. More...
Linear_Expression	right_hand_side ()
	Returns the right hand side of this. More...
Linear_Expression_Sum	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 . More...
native boolean	all_homogeneous_terms_are_zero ()
	Returns true if and only if all the homogeneous terms of this are . More...

Protected Attributes
Linear_Expression	lhs
	The value of the left hand side of this. More...
Linear_Expression	rhs
	The value of the right hand side of this. More...

Static Private Member Functions
static native void	initIDs ()

Detailed Description

The sum of two linear expressions.

Definition at line 28 of file Linear_Expression_Sum.java.

Constructor & Destructor Documentation

parma_polyhedra_library.Linear_Expression_Sum.Linear_Expression_Sum ( Linear_Expression  x, Linear_Expression  y  )

inline

Builds an object that represents the sum of the copy of x and y.

Definition at line 38 of file Linear_Expression_Sum.java.

References parma_polyhedra_library.Linear_Expression.clone().

Referenced by parma_polyhedra_library.Linear_Expression_Sum.clone().

Member Function Documentation

Linear_Expression_Sum parma_polyhedra_library.Linear_Expression_Sum.clone ( )

inline

Builds a copy of this.

Definition at line 54 of file Linear_Expression_Sum.java.

References parma_polyhedra_library.Linear_Expression_Sum.Linear_Expression_Sum().

static native void parma_polyhedra_library.Linear_Expression_Sum.initIDs ( )

staticprivate

Linear_Expression parma_polyhedra_library.Linear_Expression_Sum.left_hand_side ( )

inline

Returns the left hand side of this.

Definition at line 44 of file Linear_Expression_Sum.java.

References parma_polyhedra_library.Linear_Expression_Sum.lhs.

Linear_Expression parma_polyhedra_library.Linear_Expression_Sum.right_hand_side ( )

inline

Returns the right hand side of this.

Definition at line 49 of file Linear_Expression_Sum.java.

References parma_polyhedra_library.Linear_Expression_Sum.rhs.

Member Data Documentation

Linear_Expression parma_polyhedra_library.Linear_Expression_Sum.lhs

protected

The value of the left hand side of this.

Definition at line 32 of file Linear_Expression_Sum.java.

Referenced by parma_polyhedra_library.Linear_Expression_Sum.left_hand_side().

Linear_Expression parma_polyhedra_library.Linear_Expression_Sum.rhs

protected

The value of the right hand side of this.

Definition at line 35 of file Linear_Expression_Sum.java.

Referenced by parma_polyhedra_library.Linear_Expression_Sum.right_hand_side().

---

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

• Linear_Expression_Sum.java