parma_polyhedra_library.Constraint Class Reference

A linear equality or inequality. More...

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:

• a linear equality;
• a non-strict linear inequality;
• a strict linear inequality.

---

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

• Constraint.java