PPL Configured Java Language Interface  0.12.1
parma_polyhedra_library.Relation_Symbol Enum Reference

Relation symbols. More...

List of all members.

Static Public Member Functions

 [static initializer]

Public Attributes

 LESS_THAN
 Less than.
 LESS_OR_EQUAL
 Less than or equal to.
 EQUAL
 Equal to.
 GREATER_OR_EQUAL
 Greater than or equal to.

Static Private Member Functions

static native void initIDs ()

Detailed Description

Relation symbols.

Definition at line 28 of file Relation_Symbol.java.


Member Function Documentation

parma_polyhedra_library.Relation_Symbol.[static initializer] ( )
inlinestatic
static native void parma_polyhedra_library.Relation_Symbol.initIDs ( )
staticprivate

Member Data Documentation

Greater than or equal to.

Definition at line 36 of file Relation_Symbol.java.

Less than or equal to.

Definition at line 32 of file Relation_Symbol.java.


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