PPL Java Language Interface  1.1
parma_polyhedra_library.Grid_Generator_Type Enum Reference

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: