PPL Configured Java Language Interface  1.2
parma_polyhedra_library.Relation_Symbol Enum Reference

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 ()
 

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

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.


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