- 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
- I_Result : 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
- Result : Parma_Polyhedra_Library
- Result_Class : Parma_Polyhedra_Library
- Result_Relation : Parma_Polyhedra_Library
- Rounding_Dir : Parma_Polyhedra_Library