- c -

• cachet : boolbv_widtht , goto_inlinet , prop_conv_solvert
• call_listt : goto_inlinet
• call_stackt : interpretert
• callsitest : call_grapht
• callt : goto_inlinet
• can_generate_function_bodyt : lazy_goto_functions_mapt , lazy_goto_modelt
• car_expr_listt : instrument_spec_assignst
• cases_listt : goto_program2codet
• cases_mapt : goto_convertt
• casest : goto_convertt
• caset : goto_convertt
• catch_handlerst : remove_exceptionst
• cfgt : cfg_dominators_templatet< P, T, post_dom > , full_slicert , points_tot , reachability_slicert
• changesett : journalling_symbol_tablet
• choice_symbolst : memory_model_baset
• class_mapt : class_hierarchyt
• class_refst : java_bytecode_parse_treet
• classpatht : configt::javat
• classt : java_bytecode_convert_classt , java_bytecode_parsert
• clausest : cnf_clause_listt , resolution_prooft< T >
• cleanup_mapt : escape_domaint
• code_operandst : code_blockt
• combine_fn : write_location_contextt
• commandst : gdb_apit
• componentst : identifiert , java_class_typet , struct_union_typet
• computed_gotost : goto_convertt
• cond_target_exprt_to_car_mapt : instrument_spec_assignst
• conditionst : goto_check_ct
• cone_mapt : cone_of_influencet
• const_iterator : abstract_object_sett , cfg_baset< T, P, I >::entry_mapt , dense_integer_mapt< K, V, KeyToDenseInteger > , event_grapht::critical_cyclet , expanding_vectort< T > , fixed_keys_map_wrappert< mapt > , forward_list_as_mapt< keyt, mappedt > , guarded_range_domaint , irep_hash_mapt< Key, T > , json_objectt , loop_templatet< T, C > , numberingt< keyt, hasht > , range_domaint , union_find< T, hasht > , value_set_fit::object_map_dt
• const_iteratort : sparse_vectort< T > , symbol_table_baset
• const_mapped_type : lazy_goto_functions_mapt
• const_pointer : lazy_goto_functions_mapt
• const_reference : lazy_goto_functions_mapt
• const_reverse_iterator : fixed_keys_map_wrappert< mapt >
• const_targetst : goto_programt , goto_programt::instructiont
• const_targett : goto_programt , goto_programt::instructiont
• constant_pointer_abstract_pointert : constant_pointer_abstract_objectt
• constant_poolt : java_bytecode_parsert
• constant_struct_pointert : full_struct_abstract_objectt
• constraintst : container_encoding_targett
• context_abstract_object_ptrt : context_abstract_objectt
• continuation_stack_storet : write_stackt
• control_dep_callst : variable_sensitivity_dependence_domaint
• control_dep_candidatest : variable_sensitivity_dependence_domaint
• control_depst : variable_sensitivity_dependence_domaint
• conversion_functiont : character_refine_preprocesst , java_string_library_preprocesst
• conversion_inputt : character_refine_preprocesst
• convertedt : dump_ct
• converterst : smt2_convt
• counterst : frequency_mapt
• coverage_innert : symex_coveraget
• coverage_lines_mapt : goto_program_coverage_recordt
• coveraget : symex_coveraget
• covered_locationst : instrument_spec_assignst
• cpp_id_mapt : cpp_idt
• cse_ptrt : call_stack_historyt
• cstate_ptrt : ai_baset , ai_storage_baset
• ctrace_set_ptrt : ai_baset , ai_storage_baset