• ANY_COMPLEXITY : parma_polyhedra_library.Complexity_Class
• BITS_128 : parma_polyhedra_library.Bounded_Integer_Type_Width
• CLOSURE_POINT : parma_polyhedra_library.Generator_Type
• EMPTY : parma_polyhedra_library.Degenerate_Element
• GREATER_THAN : parma_polyhedra_library.Relation_Symbol
• MAXIMIZATION : parma_polyhedra_library.Optimization_Mode
• OPTIMIZED_MIP_PROBLEM : parma_polyhedra_library.MIP_Problem_Status
• OPTIMIZED_PIP_PROBLEM : parma_polyhedra_library.PIP_Problem_Status
• OVERFLOW_IMPOSSIBLE : parma_polyhedra_library.Bounded_Integer_Type_Overflow
• POINT : parma_polyhedra_library.Grid_Generator_Type
• SIGNED_2_COMPLEMENT : parma_polyhedra_library.Bounded_Integer_Type_Representation