|
PPL Java Language Interface
1.2
|
Relation symbols. More...
Static Public Member Functions | |
| [static initializer] | |
Public Attributes | |
| LESS_THAN | |
| Less than. More... | |
| LESS_OR_EQUAL | |
| Less than or equal to. More... | |
| EQUAL | |
| Equal to. More... | |
| GREATER_OR_EQUAL | |
| Greater than or equal to. More... | |
| GREATER_THAN | |
| Greater than. More... | |
Static Private Member Functions | |
| static native void | initIDs () |
Relation symbols.
Definition at line 28 of file Relation_Symbol.java.
|
inlinestatic |
|
staticprivate |
| parma_polyhedra_library.Relation_Symbol.EQUAL |
Equal to.
Definition at line 34 of file Relation_Symbol.java.
| parma_polyhedra_library.Relation_Symbol.GREATER_OR_EQUAL |
Greater than or equal to.
Definition at line 36 of file Relation_Symbol.java.
| parma_polyhedra_library.Relation_Symbol.GREATER_THAN |
Greater than.
Definition at line 38 of file Relation_Symbol.java.
| parma_polyhedra_library.Relation_Symbol.LESS_OR_EQUAL |
Less than or equal to.
Definition at line 32 of file Relation_Symbol.java.
| parma_polyhedra_library.Relation_Symbol.LESS_THAN |
Less than.
Definition at line 30 of file Relation_Symbol.java.