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. | |
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. | |
A linear equality or inequality.
An object of the class Constraint is either:
Definition at line 36 of file Constraint.java.
| 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.
| 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] |
| Relation_Symbol parma_polyhedra_library::Constraint::kind | ( | ) | [inline] |
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] |
| Linear_Expression parma_polyhedra_library::Constraint::right_hand_side | ( | ) | [inline] |
| native String parma_polyhedra_library::Constraint::toString | ( | ) |
Returns a string representation of this.
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().
1.6.3