- o -

• Optimization_Mode : Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache
• Optimization_Mode_MAXIMIZATION_ID : Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache
• Optimization_Mode_MINIMIZATION_ID : Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache
• Optimization_Mode_ordinal_ID : Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache
• OVERFLOW_UNDEFINED : parma_polyhedra_library.Bounded_Integer_Type_Overflow
• OVERFLOW_WRAPS : parma_polyhedra_library.Bounded_Integer_Type_Overflow