parma_polyhedra_library::Linear_Expression_Difference Class Reference
[Java Language Interface]

The difference of two linear expressions. More...

Inheritance diagram for parma_polyhedra_library::Linear_Expression_Difference:
Inheritance graph
[legend]
Collaboration diagram for parma_polyhedra_library::Linear_Expression_Difference:
Collaboration graph
[legend]

List of all members.

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.
Linear_Expression left_hand_side ()
 Returns the left hand side of this.
Linear_Expression right_hand_side ()
 Returns the left hand side of this.
Linear_Expression_Difference clone ()
 Builds a copy of this.

Protected Attributes

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

Static Package Functions

 [static initializer]

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(), lhs, and rhs.

Referenced by clone().


Member Function Documentation

parma_polyhedra_library::Linear_Expression_Difference::[static initializer] (  )  [inline, static, package]
Linear_Expression_Difference parma_polyhedra_library::Linear_Expression_Difference::clone (  )  [inline, virtual]

Builds a copy of this.

Implements parma_polyhedra_library::Linear_Expression.

Definition at line 58 of file Linear_Expression_Difference.java.

References lhs, Linear_Expression_Difference(), and rhs.

static native void parma_polyhedra_library::Linear_Expression_Difference::initIDs (  )  [static, private]
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 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 rhs.


Member Data Documentation

The value of the left hand side of this.

Definition at line 32 of file Linear_Expression_Difference.java.

Referenced by clone(), left_hand_side(), and Linear_Expression_Difference().

The value of the right hand side of this.

Definition at line 35 of file Linear_Expression_Difference.java.

Referenced by clone(), Linear_Expression_Difference(), and right_hand_side().


The documentation for this class was generated from the following file:
Generated on Sun Feb 27 16:35:27 2011 for PPL Configured Java Language Interface by  doxygen 1.6.3