- o -

• object_listt : invariant_propagationt
• object_map_dt : value_sett
• object_mapt : value_set_fit , value_sett
• object_sett : local_may_aliast
• objectivest : prop_minimizet
• objectst : c_wranglert , rw_range_sett
• objectt : json_streamt , jsont
• observerst : cover_goalst
• offset_mapt : boolbvt
• offsett : value_set_fit , value_sett
• operands_iteratort : depth_iterator_expr_statet
• operandst : exprt
• opt_reft : method_bytecodet
• option_mappingt : vsd_configt
• option_mapt : optionst
• option_size_mappingt : vsd_configt
• output_functiont : smt_term_to_string_convertert
• output_valuest : interpretert
• overflow_mapt : acceleratet
• overlay_classest : java_bytecode_convert_classt