parma_polyhedra_library.Linear_Expression_Difference Class Reference

The difference of two linear expressions. More...

Inheritance diagram for parma_polyhedra_library.Linear_Expression_Difference:

Collaboration diagram for parma_polyhedra_library.Linear_Expression_Difference:

Public Member Functions
	Linear_Expression_Difference (Linear_Expression x, Linear_Expression y)
	Builds an object that represents the difference of the copy x and y. More...
Linear_Expression	left_hand_side ()
	Returns the left hand side of this. More...
Linear_Expression	right_hand_side ()
	Returns the left hand side of this. More...
Linear_Expression_Difference	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 difference of two linear expressions.

Definition at line 28 of file Linear_Expression_Difference.java.

Constructor & Destructor Documentation

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

inline

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

Definition at line 41 of file Linear_Expression_Difference.java.

References parma_polyhedra_library.Linear_Expression.clone().

Referenced by parma_polyhedra_library.Linear_Expression_Difference.clone().

Member Function Documentation

Linear_Expression_Difference parma_polyhedra_library.Linear_Expression_Difference.clone ( )

inline

Builds a copy of this.

Definition at line 58 of file Linear_Expression_Difference.java.

References parma_polyhedra_library.Linear_Expression_Difference.Linear_Expression_Difference().

static native void parma_polyhedra_library.Linear_Expression_Difference.initIDs ( )

staticprivate

Linear_Expression parma_polyhedra_library.Linear_Expression_Difference.left_hand_side ( )

inline

Returns the left hand side of this.

Definition at line 48 of file Linear_Expression_Difference.java.

References parma_polyhedra_library.Linear_Expression_Difference.lhs.

Linear_Expression parma_polyhedra_library.Linear_Expression_Difference.right_hand_side ( )

inline

Returns the left hand side of this.

Definition at line 53 of file Linear_Expression_Difference.java.

References parma_polyhedra_library.Linear_Expression_Difference.rhs.

Member Data Documentation

Linear_Expression parma_polyhedra_library.Linear_Expression_Difference.lhs

protected

The value of the left hand side of this.

Definition at line 32 of file Linear_Expression_Difference.java.

Referenced by parma_polyhedra_library.Linear_Expression_Difference.left_hand_side().

Linear_Expression parma_polyhedra_library.Linear_Expression_Difference.rhs

protected

The value of the right hand side of this.

Definition at line 35 of file Linear_Expression_Difference.java.

Referenced by parma_polyhedra_library.Linear_Expression_Difference.right_hand_side().

---

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

• Linear_Expression_Difference.java