- 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
- 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
- commandst
: gdb_apit
- componentst
: identifiert
, java_class_typet
, struct_union_typet
- computed_gotost
: goto_convertt
- conditionst
: goto_checkt
- cone_mapt
: cone_of_influencet
- const_iterator
: 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 >
, range_domaint
, template_numberingt< Map >
, union_find< T >
, value_set_fit::object_map_dt
, value_set_fivrnst::object_map_dt
, value_set_fivrt::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_poolt
: java_bytecode_parsert
- conversion_functiont
: character_refine_preprocesst
, java_string_library_preprocesst
- conversion_inputt
: character_refine_preprocesst
- convertedt
: dump_ct
- coverage_innert
: symex_coveraget
- coverage_lines_mapt
: goto_program_coverage_recordt
- coveraget
: symex_coveraget
- 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