- CLOSURE_POINT : Parma_Polyhedra_Library::Generator
- EMPTY : Parma_Polyhedra_Library::Polyhedron
- EQUALITY : Parma_Polyhedra_Library::Constraint
- LINE : Parma_Polyhedra_Library::Generator
- NONSTRICT_INEQUALITY : Parma_Polyhedra_Library::Constraint
- POINT : Parma_Polyhedra_Library::Generator
- RAY : Parma_Polyhedra_Library::Generator
- STRICT_INEQUALITY : Parma_Polyhedra_Library::Constraint
- UNIVERSE : Parma_Polyhedra_Library::Polyhedron