parma_polyhedra_library.Constraint Class Reference

A linear equality or inequality. More...

Collaboration diagram for parma_polyhedra_library.Constraint:

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 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:

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

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

---

Member Function Documentation

native String parma_polyhedra_library.Constraint.ascii_dump

(

)

Returns an ascii formatted internal representation of this.

static native void parma_polyhedra_library.Constraint.initIDs ( )

staticprivate

Relation_Symbol parma_polyhedra_library.Constraint.kind ( )

inline

Returns the relation symbol of this.

Definition at line 69 of file Constraint.java.

Referenced by parma_polyhedra_library.Constraint.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 parma_polyhedra_library.Constraint.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 parma_polyhedra_library.Constraint.rhs.

native String parma_polyhedra_library.Constraint.toString

(

)

Returns a string representation of this.

---

Member Data Documentation

Relation_Symbol parma_polyhedra_library.Constraint.kind

private

The relation symbol of this.

Definition at line 45 of file Constraint.java.

Linear_Expression parma_polyhedra_library.Constraint.lhs

private

The value of the left hand side of this.

Definition at line 39 of file Constraint.java.

Referenced by parma_polyhedra_library.Constraint.Constraint(), and parma_polyhedra_library.Constraint.left_hand_side().

Linear_Expression parma_polyhedra_library.Constraint.rhs

private

The value of the right hand side of this.

Definition at line 42 of file Constraint.java.

Referenced by parma_polyhedra_library.Constraint.Constraint(), and parma_polyhedra_library.Constraint.right_hand_side().

---

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

• Constraint.java