PPL Java Language Interface
0.12.1
Main Page
Related Pages
Modules
Namespaces
Classes
Class List
Class Hierarchy
Class Members
Public Attributes
parma_polyhedra_library.Generator_Type Enum Reference
Java Language Interface
The generator type.
More...
List of all members.
Public Attributes
LINE
The generator is a line.
RAY
The generator is a ray.
POINT
The generator is a point.
Detailed Description
The generator type.
The documentation for this enum was generated from the following file:
Generator_Type.java
parma_polyhedra_library
Generator_Type
Generated on Mon Apr 16 2012 14:17:14 for PPL Java Language Interface by
1.8.0-20120409