parma_polyhedra_library.Constraint Class Reference

A linear equality or inequality. More...

Collaboration diagram for parma_polyhedra_library.Constraint:

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. More...
Linear_Expression	left_hand_side ()
	Returns the left hand side of this. More...
Linear_Expression	right_hand_side ()
	Returns the right hand side of this. More...
Relation_Symbol	kind ()
	Returns the relation symbol of this. More...
native String	ascii_dump ()
	Returns an ascii formatted internal representation of this. More...
native String	toString ()
	Returns a string representation of this. More...

Static Private Member Functions
static native void	initIDs ()

Private Attributes
Linear_Expression	lhs
	The value of the left hand side of this. More...
Linear_Expression	rhs
	The value of the right hand side of this. More...
Relation_Symbol	kind
	The relation symbol of this. More...

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 33 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 48 of file Constraint.java.

References parma_polyhedra_library.Linear_Expression.clone(), and parma_polyhedra_library.Relation_Symbol.NOT_EQUAL.

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 68 of file Constraint.java.

Linear_Expression parma_polyhedra_library.Constraint.left_hand_side ( )

inline

Returns the left hand side of this.

Definition at line 58 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 63 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 42 of file Constraint.java.

Linear_Expression parma_polyhedra_library.Constraint.lhs

private

The value of the left hand side of this.

Definition at line 36 of file Constraint.java.

Referenced by 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 39 of file Constraint.java.

Referenced by parma_polyhedra_library.Constraint.right_hand_side().

---

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

• Constraint.java