parma_polyhedra_library::Constraint Class Reference
[Java Language Interface]

A linear equality or inequality. More...

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.


Detailed Description

A linear equality or inequality.

An object of the class Constraint is either:


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

Generated on Tue Apr 14 07:13:26 2009 for PPL Java Language Interface by  doxygen 1.5.7.1