parma_polyhedra_library::Constraint Class Reference
[Java Language Interface]

A linear equality or inequality. More...

Collaboration diagram for parma_polyhedra_library::Constraint:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 Constraint (Linear_Expression le1, Relation_Symbol rel_sym, Linear_Expression le2)
 Builds a constraint from two linear expressions with a specified relation symbol.
Linear_Expression left_hand_side ()
 Returns the left hand side of this.
Linear_Expression right_hand_side ()
 Returns the right hand side of this.
Relation_Symbol kind ()
 Returns the relation symbol of this.
native String ascii_dump ()
 Returns an ascii formatted internal representation of this.
native String toString ()
 Returns a string representation of this.

Static Package Functions

 [static initializer]

Static Private Member Functions

static native void initIDs ()

Private 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.
Relation_Symbol kind
 The relation symbol of this.

Detailed Description

A linear equality or inequality.

An object of the class Constraint is either:

Definition at line 36 of file Constraint.java.


Constructor & Destructor Documentation

parma_polyhedra_library::Constraint::Constraint ( Linear_Expression  le1,
Relation_Symbol  rel_sym,
Linear_Expression  le2 
) [inline]

Builds a constraint from two linear expressions with a specified relation symbol.

Definition at line 51 of file Constraint.java.

References parma_polyhedra_library::Linear_Expression::clone(), kind(), lhs, and rhs.


Member Function Documentation

parma_polyhedra_library::Constraint::[static initializer] (  )  [inline, static, package]
native String parma_polyhedra_library::Constraint::ascii_dump (  ) 

Returns an ascii formatted internal representation of this.

static native void parma_polyhedra_library::Constraint::initIDs (  )  [static, private]

Returns the relation symbol of this.

Definition at line 69 of file Constraint.java.

Referenced by Constraint().

Linear_Expression parma_polyhedra_library::Constraint::left_hand_side (  )  [inline]

Returns the left hand side of this.

Definition at line 59 of file Constraint.java.

References lhs.

Linear_Expression parma_polyhedra_library::Constraint::right_hand_side (  )  [inline]

Returns the right hand side of this.

Definition at line 64 of file Constraint.java.

References rhs.

native String parma_polyhedra_library::Constraint::toString (  ) 

Returns a string representation of this.


Member Data Documentation

The relation symbol of this.

Definition at line 45 of file Constraint.java.

The value of the left hand side of this.

Definition at line 39 of file Constraint.java.

Referenced by Constraint(), and left_hand_side().

The value of the right hand side of this.

Definition at line 42 of file Constraint.java.

Referenced by Constraint(), 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