PPL Java Language Interface  1.0
parma_polyhedra_library.Grid_Generator_Type Enum Reference

The grid generator type. More...

List of all members.

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: