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.