- c -
- cachet
: boolbv_widtht
, goto_inlinet
, prop_conv_solvert
- call_listt
: goto_inlinet
- call_stackt
: goto_symex_statet
, 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
- catch_mapt
: goto_symex_statet::framet
- cfgt
: cfg_dominators_templatet< P, T, post_dom >
, full_slicert
, points_tot
, reachability_slicert
- 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
- componentst
: identifiert
, struct_union_typet
- computed_gotost
: goto_convertt
- conditionst
: goto_checkt
- cone_mapt
: cone_of_influencet
- const_find_type
: sharing_mapt< keyT, valueT, hashT, equalT >
- const_iterator
: cfg_baset< T, P, I >::entry_mapt
, event_grapht::critical_cyclet
, expanding_vectort< T >
, fixed_keys_map_wrappert< mapt >
, guarded_range_domaint
, irep_hash_mapt< Key, 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
, value_sett::object_map_dt
- const_iteratort
: sparse_vectort< T >
- 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
- current_namest
: goto_symex_statet::renaming_levelt