PPL Java Language Interface  1.1
parma_polyhedra_library.Generator_Type Enum Reference

The generator type. More...

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: