PPL Java Language Interface
1.1
Main Page
Related Pages
Modules
Namespaces
Classes
Class List
Class Hierarchy
Class Members
Public Attributes
|
List of all members
parma_polyhedra_library.Grid_Generator_Type Enum Reference
Java Language Interface
The grid generator type.
More...
Public Attributes
LINE
The generator is a line.
PARAMETER
The generator is a parameter.
Detailed Description
The grid generator type.
The documentation for this enum was generated from the following file:
Grid_Generator_Type.java
parma_polyhedra_library
Grid_Generator_Type
Generated on Mon Oct 28 2013 13:50:11 for PPL Java Language Interface by
1.8.4