- c -
- cachet
: boolbv_widtht
, goto_inlinet
, prop_conv_solvert
- call_listt
: goto_inlinet
- call_stackt
: goto_symex_statet
, interpretert
, path_symex_statet
- callt
: goto_inlinet
- 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
, java_class_loadert
- 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
- cone_mapt
: cone_of_influencet
- const_find_type
: sharing_mapt< keyT, valueT, hashT, predT >
, sharing_nodet< keyT, valueT, predT, no_sharing >
- const_iterator
: sorted_vector< K, bNoDuplicates, Pr, A >
, value_set_fivrnst::object_map_dt
, value_set_fivrt::object_map_dt
- const_reference
: sorted_vector< K, bNoDuplicates, Pr, A >
- const_reverse_iterator
: sorted_vector< K, bNoDuplicates, Pr, A >
- const_targetst
: goto_program_templatet< codeT, guardT >
, goto_program_templatet< codeT, guardT >::instructiont
- const_targett
: goto_program_templatet< codeT, guardT >
, goto_program_templatet< codeT, guardT >::instructiont
- constant_poolt
: java_bytecode_parsert
- constraint_listt
: prop_conv_storet::constraintst
- constraintst
: aig_plus_constraintst
- Cont
: sorted_vector< K, bNoDuplicates, Pr, A >
- containert
: sharing_mapt< keyT, valueT, hashT, predT >
, sharing_nodet< keyT, valueT, predT, no_sharing >
- content_containert
: xml_irep_convertt::ireps_containert
- conversion_functiont
: character_refine_preprocesst
- conversion_input
: 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