• Bounded_Integer_Type_Overflow : Parma_Polyhedra_Library
• Bounded_Integer_Type_Representation : Parma_Polyhedra_Library
• Bounded_Integer_Type_Width : Parma_Polyhedra_Library
• Complexity_Class : Parma_Polyhedra_Library
• Degenerate_Element : Parma_Polyhedra_Library
• Floating_Point_Format : Parma_Polyhedra_Library
• MIP_Problem_Status : Parma_Polyhedra_Library
• Optimization_Mode : Parma_Polyhedra_Library
• PIP_Problem_Status : Parma_Polyhedra_Library
• Relation_Symbol : Parma_Polyhedra_Library
• Representation : Parma_Polyhedra_Library
• Result : Parma_Polyhedra_Library
• Result_Class : Parma_Polyhedra_Library
• Result_Relation : Parma_Polyhedra_Library
• Rounding_Dir : Parma_Polyhedra_Library