Here is a list of all class members with links to the classes they belong to:
- c -
- c_bit_field_typet()
: c_bit_field_typet
- c_bool_cnt
: ansi_c_convert_typet
- c_bool_typet()
: c_bool_typet
- c_enum_tag_typet()
: c_enum_tag_typet
- c_enum_typet()
: c_enum_typet
- c_qualifiers
: ansi_c_convert_typet
- c_qualifierst()
: c_qualifierst
- c_standard
: configt::ansi_ct
- c_standardt
: configt::ansi_ct
- c_storage_spec
: ansi_c_convert_typet
- c_storage_spect()
: c_storage_spect
- c_str()
: dstringt
, string_containert
, string_ptrt
- c_typecastt()
: c_typecastt
- c_typecheck_baset()
: c_typecheck_baset
- c_typet
: c_typecastt
- cache
: boolbv_widtht
, goto_inlinet
, prop_conv_solvert
- cachet
: boolbv_widtht
, goto_inlinet
, prop_conv_solvert
- caching
: goto_inlinet
- call_grapht()
: call_grapht
, call_grapht::directed_grapht
- call_listt
: goto_inlinet
- call_location_number
: goto_inlinet::goto_inline_logt::goto_inline_log_infot
- call_stack
: check_call_sequencet::statet
, goto_symex_statet
, goto_symex_statet::threadt
, interpretert
- call_stackt
: goto_symex_statet
, interpretert
- callable_methods
: ci_lazy_methods_neededt
- caller_is_known
: reachability_slicert::search_stack_entryt
- calling_function
: interpretert::function_assignments_contextt
- calling_location
: goto_symex_statet::framet
- callsites
: call_grapht
, call_grapht::edge_with_callsitest
- callsitest
: call_grapht
- callt
: goto_inlinet
- can_build_identifier()
: ssa_exprt
- can_convert_lazy_method()
: language_filest
- can_generate_function_body()
: jbmc_parse_optionst
- can_generate_function_bodyt
: lazy_goto_functions_mapt
, lazy_goto_modelt
- can_produce_function()
: abstract_goto_modelt
, goto_modelt
, lazy_goto_functions_mapt
, lazy_goto_modelt
, wrapper_goto_modelt
- carry()
: bv_utilst
- carry_out()
: bv_utilst
- case_guard()
: goto_convertt
- case_is_allowed
: c_typecheck_baset
- case_last
: goto_program2codet::caset
- case_op()
: code_switch_caset
- case_selector
: goto_program2codet::caset
- case_start
: goto_program2codet::caset
- cases
: goto_convertt::break_switch_targetst
, goto_convertt::targetst
- cases_listt
: goto_program2codet
- cases_map
: goto_convertt::break_switch_targetst
, goto_convertt::targetst
- cases_mapt
: goto_convertt
- casest
: goto_convertt
- caset
: goto_convertt
, goto_program2codet::caset
- CAST_AS_NEEDED
: java_bytecode_convert_methodt
- cast_away_constness()
: cpp_typecheckt
- cast_bv_to_signed()
: smt2_parsert
- cast_bv_to_unsigned()
: smt2_parsert
- catch_expr()
: code_landingpadt
- catch_handlerst
: remove_exceptionst
- catch_map
: goto_symex_statet::framet
- catch_mapt
: goto_symex_statet::framet
- catch_type
: java_bytecode_parse_treet::methodt::exceptiont
- cav11
: shared_bufferst
- cbegin()
: cfg_baset< T, P, I >::entry_mapt
, event_grapht::critical_cyclet
, expanding_vectort< T >
, fixed_keys_map_wrappert< mapt >
, guarded_range_domaint
, json_arrayt
, range_domaint
, template_numberingt< Map >
, union_find< T >
, value_set_fit::object_map_dt
, value_sett::object_map_dt
- cbmc_dimacst()
: cbmc_dimacst
- cbmc_parse_optionst()
: cbmc_parse_optionst
- cbmc_solverst()
: cbmc_solverst
- cend()
: cfg_baset< T, P, I >::entry_mapt
, event_grapht::critical_cyclet
, expanding_vectort< T >
, fixed_keys_map_wrappert< mapt >
, guarded_range_domaint
, json_arrayt
, range_domaint
, template_numberingt< Map >
, union_find< T >
, value_set_fit::object_map_dt
, value_sett::object_map_dt
- cerr_message_handlert()
: cerr_message_handlert
- cfg
: cfg_dominators_templatet< P, T, post_dom >
, full_slicert
, local_bitvector_analysist
, local_may_aliast
, points_tot
, reachability_slicert
- cfg_baset()
: cfg_baset< T, P, I >
- cfg_cycles_filter()
: instrumentert
- cfg_dominators
: natural_loops_templatet< P, T >
- cfg_nodet()
: full_slicert::cfg_nodet
- cfg_post_dominators()
: dependence_grapht
- cfg_visitort()
: instrumentert::cfg_visitort
, shared_bufferst::cfg_visitort
- cfgt
: cfg_dominators_templatet< P, T, post_dom >
, full_slicert
, points_tot
, reachability_slicert
- chain()
: minisat_prooft
- change_impact()
: change_impactt
- change_impactt()
: change_impactt
- change_spec()
: bv_arithmetict
, ieee_floatt
- changed
: flow_insensitive_abstract_domain_baset
, value_set_fit
- changed_vars
: path_acceleratort
- CHAR
: c_typecastt
- char16_t_cnt
: cpp_convert_typet
- char32_t_cnt
: cpp_convert_typet
- char_array_of_pointer()
: string_constraint_generatort
- char_assign()
: string_abstractiont
- char_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- char_is_unsigned
: configt::ansi_ct
- char_representation_length
: expr2javat
- char_type
: java_string_library_preprocesst
- char_width
: configt::ansi_ct
- CHARACTER
: string_constraint_generatort::format_specifiert
- character_equals_ignore_case()
: string_constraint_generatort
- character_preprocess
: java_string_library_preprocesst
- CHARACTER_UPPER
: string_constraint_generatort::format_specifiert
- check()
: custom_bitvector_analysist
, fault_localizationt
, goto_checkt
- check_AC()
: event_grapht::critical_cyclet
- check_acyclic()
: mm2cppt
- check_arithmetic_exception()
: java_bytecode_instrumentt
- check_array_access()
: java_bytecode_instrumentt
- check_array_length()
: java_bytecode_instrumentt
- check_array_types()
: cpp_declarator_convertert
- check_BC()
: event_grapht::critical_cyclet
- check_call_sequencet()
: check_call_sequencet
- check_class_cast()
: java_bytecode_instrumentt
- check_component_access()
: cpp_typecheckt
- check_field_exists()
: java_bytecode_convert_classt
- check_fixed_size_array()
: cpp_typecheckt
- check_index()
: unsigned_union_find
- check_inductive()
: acceleration_utilst
, polynomial_acceleratort
- check_inline_map()
: goto_inlinet
- check_lhs()
: escape_domaint
- check_member_initializers()
: cpp_typecheckt
- check_method_stub()
: java_simple_method_stubst
- check_null_dereference()
: java_bytecode_instrumentt
- check_qualifiers()
: cpp_typecastt
- check_rec()
: goto_checkt
- check_SAT()
: bv_refinementt
- check_sat()
: scratch_programt
- check_type()
: invariant_propagationt
, value_set_analysis_fit
, value_set_analysis_fivrnst
, value_set_analysis_fivrt
- check_UNSAT()
: bv_refinementt
- checked
: overflow_instrumentert
- checker
: scratch_programt
- child_stream
: json_streamt
- children
: class_hierarchyt::entryt
- choice()
: shared_bufferst
- choice_symbols
: memory_model_baset
- choice_symbolst
: memory_model_baset
- CHOP
: java_bytecode_parse_treet::methodt::stack_map_table_entryt
- chops
: java_bytecode_parse_treet::methodt::stack_map_table_entryt
- chunk
: sharing_mapt< keyT, valueT, hashT, equalT >
- ci_lazy_methods_neededt()
: ci_lazy_methods_neededt
- ci_lazy_methodst()
: ci_lazy_methodst
- class_has_clinit_method
: java_bytecode_convert_methodt
- class_hierarchy
: ci_lazy_methodst
, java_bytecode_convert_methodt
, java_bytecode_languaget
, remove_instanceoft
, remove_virtual_functionst
, resolve_inherited_componentt
, taint_analysist
, uncaught_exceptions_domaint
- class_id
: dispatch_table_entryt
, method_bytecodet::class_method_and_bytecodet
- class_identifier
: class_hierarchy_graph_nodet
, cpp_idt
, resolve_inherited_componentt::inherited_componentt
- class_index
: base_ref_infot
- class_infot()
: class_infot
- class_initializer_seen
: ci_lazy_methodst::convert_method_resultt
- class_map
: class_hierarchyt
, java_class_loadert
- class_mapt
: class_hierarchyt
- class_name_to_file()
: java_class_loadert
- class_nb
: data_dpt
- class_refs
: java_bytecode_parse_treet
- class_refst
: java_bytecode_parse_treet
- class_template_identifier()
: cpp_typecheckt
- class_template_symbol()
: cpp_typecheckt
- class_typet()
: class_typet
- classpath
: configt::javat
- classpatht
: configt::javat
- classt
: java_bytecode_convert_classt
, java_bytecode_parse_treet::classt
, java_bytecode_parsert
- clause_counter
: cnf_solvert
- clause_id
: clauset::stept
- clauses
: cnf_clause_listt
, resolution_prooft< T >
- clausest
: cnf_clause_listt
, resolution_prooft< T >
- clean_cache()
: string_dependenciest
- clean_code
: c_typecheck_baset
- clean_expr()
: goto_convertt
, goto_symext
- clean_expr_address_of()
: goto_convertt
- clean_up()
: cpp_typecheckt
- cleanup()
: goto_inlinet::goto_inline_logt
, goto_unwindt::unwind_logt
- cleanup_code()
: goto_program2codet
- cleanup_code_block()
: goto_program2codet
- cleanup_code_ifthenelse()
: goto_program2codet
- cleanup_decl()
: dump_ct
- cleanup_expr()
: dump_ct
, goto_program2codet
- cleanup_function_call()
: goto_program2codet
- cleanup_functions
: escape_domaint::cleanupt
- cleanup_harness()
: dump_ct
- cleanup_map
: escape_domaint
- cleanup_mapt
: escape_domaint
- cleanup_type()
: dump_ct
- clear()
: ai_baset
, aig_plus_constraintst
, aigt
, ait< domainT >
, ansi_c_convert_typet
, ansi_c_parse_treet
, ansi_c_parsert
, assembler_parsert
, automatont
, c_qualifierst
, c_storage_spect
, cmdlinet
, cpp_idt
, cpp_parse_treet
, cpp_parsert
, cpp_token_buffert
, cpp_tokent
, dstringt
, event_grapht
, expanding_vectort< T >
, flow_insensitive_abstract_domain_baset
, flow_insensitive_analysis_baset
, flow_insensitive_analysist< T >
, goto_functionst
, goto_functiont
, goto_inlinet
, goto_modelt
, goto_programt
, goto_programt::instructiont
, goto_tracet
, grapht< N >
, irep_hash_container_baset
, irep_hash_mapt< Key, T >
, irep_serializationt
, irep_serializationt::ireps_containert
, irept
, irept::dt
, java_qualifierst
, jsil_parse_treet
, jsil_parsert
, json_parsert
, jsont
, language_filest
, literalt
, local_bitvector_analysist::flagst
, mini_bddt
, mm_parsert
, parsert
, path_acceleratort
, qualifierst
, reference_counting< T >
, replace_symbolt
, sharing_mapt< keyT, valueT, hashT, equalT >
, sharing_node_innert< keyT, valueT, equalT >
, sharing_node_leaft< keyT, valueT, equalT >
, sparse_bitvector_analysist< V >
, static_analysis_baset
, static_analysist< T >
, string_dependenciest
, symbol_table_baset
, symbol_tablet
, symbolt
, symex_target_equationt
, temp_dirt
, template_mapt
, template_numberingt< Map >
, union_find< T >
, unsigned_union_find
, value_set_domain_fit
, value_set_domain_fivrnst
, value_set_domain_fivrt
, value_set_fit
, value_set_fivrnst
, value_set_fivrnst::object_map_dt
, value_set_fivrt
, value_set_fivrt::object_map_dt
, value_sett
, xml_parse_treet
, xml_parsert
, xmlt
- clear_bit()
: custom_bitvector_domaint
- clear_cache()
: boolbvt
, prop_conv_solvert
, rd_range_domaint
- clear_constraints()
: string_constraint_generatort
- clear_files()
: language_filest
- clear_input_flags()
: interpretert
- clear_interrupt()
: satcheck_minisat2_baset< T >
- clear_parse()
: language_uit
- clear_static_lifetime()
: decorated_symbol_exprt
- clear_thread_local()
: decorated_symbol_exprt
- clobber_parse_optionst()
: clobber_parse_optionst
- clock()
: partial_order_concurrencyt
- clock_type
: partial_order_concurrencyt
- clockt
: timestampert
- clone()
: c_qualifierst
, java_qualifierst
, qualifierst
- close()
: json_streamt
- clusters
: dott
- cmdline
: armcc_modet
, compilet
, cw_modet
, goto_cc_modet
, linker_script_merget
, ms_cl_modet
, parse_options_baset
, rebuild_goto_start_function_baset< maybe_lazy_goto_modelt >
- cmdlinet()
: cmdlinet
- cnf_clause_listt()
: cnf_clause_listt
- cnf_handled_well()
: aig_prop_baset
, propt
- cnf_solvert()
: cnf_solvert
- cnft()
: cnft
- code()
: code_labelt
, code_switch_caset
, goto_programt::instructiont
, java_bytecode_convert_methodt::converted_instructiont
- code_asmt()
: code_asmt
- code_assertt()
: code_assertt
- code_assign_components_to_java_string()
: java_string_library_preprocesst
- code_assign_java_string_to_string_expr()
: java_string_library_preprocesst
- code_assign_string_expr_to_java_string()
: java_string_library_preprocesst
- code_assignt()
: code_assignt
- code_assumet()
: code_assumet
- code_blockt()
: code_blockt
- code_breakt()
: code_breakt
- code_continuet()
: code_continuet
- code_contracts()
: code_contractst
- code_contractst()
: code_contractst
- code_deadt()
: code_deadt
- code_declt()
: code_declt
- code_dowhilet()
: code_dowhilet
- code_expressiont()
: code_expressiont
- code_for_function()
: java_string_library_preprocesst
- code_fort()
: code_fort
- code_function_callt()
: code_function_callt
- code_gotot()
: code_gotot
- code_ifthenelset()
: code_ifthenelset
- code_labelt()
: code_labelt
- code_landingpadt()
: code_landingpadt
- code_pop_catcht()
: code_pop_catcht
- code_push_catcht()
: code_push_catcht
- code_return_function_application()
: java_string_library_preprocesst
- code_returnt()
: code_returnt
- code_skipt()
: code_skipt
- code_switch_caset()
: code_switch_caset
- code_switcht()
: code_switcht
- code_try_catcht()
: code_try_catcht
- code_typet()
: code_typet
- code_whilet()
: code_whilet
- codet()
: codet
- codomain()
: mathematical_function_typet
- coeff
: monomialt
, polynomialt
- collect()
: concurrency_instrumentationt
- collect_allocations()
: goto_checkt
- collect_arrays()
: arrayst
- collect_bindings()
: smt2_convt
- collect_callsites
: call_grapht
- collect_cycles()
: event_grapht
, event_grapht::graph_explorert
, instrumentert
- collect_cycles_by_SCCs()
: instrumentert
- collect_guards()
: fault_localizationt
- collect_indices()
: arrayst
- collect_open_variables()
: symex_slicet
- collect_operands()
: goto_convertt
- collect_pairs()
: event_grapht
, event_grapht::graph_pensieve_explorert
, instrumenter_pensievet
- collect_pairs_naive()
: event_grapht
, instrumenter_pensievet
- collect_typedefs()
: dump_ct
- collect_typedefs_rec()
: dump_ct
- collect_uncaught_exceptions()
: uncaught_exceptions_analysist
- column
: parsert
- com_graph
: event_grapht
- com_in()
: event_grapht
- com_out()
: event_grapht
- combine_types()
: cpp_declarator_convertert
- coming_from
: instrumentert::cfg_visitort
, shared_bufferst::cfg_visitort
- command()
: interpretert
, smt2_parsert
, smt2_solvert
- command_sequence()
: smt2_parsert
- comment
: goto_trace_stept
, symex_target_equationt::SSA_stept
- comment_set
: document_propertiest::doc_claimt
- comments
: irept::dt
- compact_output
: change_impactt
- compare()
: dstringt
, irept
, monomialt
- compile()
: compilet
- COMPILE_LINK
: compilet
- COMPILE_LINK_EXECUTABLE
: compilet
- COMPILE_ONLY
: compilet
- compiled_functions
: compilet
- compiler
: linker_script_merget
- compilet()
: compilet
- complete_goto()
: goto_programt::instructiont
- complete_path()
: all_paths_enumeratort
- COMPLEX
: c_typecastt
- complex_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- complex_exprt()
: complex_exprt
- complex_typet()
: complex_typet
- component
: non_byte_alignedt
- component_identifier
: resolve_inherited_componentt::inherited_componentt
- component_number()
: struct_union_typet
- component_type()
: struct_union_typet
- components
: identifiert
, struct_union_typet
- componentst
: identifiert
, struct_union_typet
- componentt()
: struct_union_typet::componentt
- compound()
: member_exprt
- compound_counter
: ansi_c_scopet
, cpp_idt
- compress_certificate()
: qbf_bdd_coret
- compute()
: _rw_set_loct
, is_threadedt
, natural_loops_templatet< P, T >
, postconditiont
, preconditiont
- compute_address_of()
: preconditiont
- compute_address_taken_in_symbols()
: remove_function_pointerst
- compute_coverage_lines()
: goto_program_coverage_recordt
- compute_edges()
: cfg_baset< T, P, I >
- compute_edges_catch()
: cfg_baset< T, P, I >
- compute_edges_function_call()
: cfg_baset< T, P, I >
, procedure_local_cfg_baset< T, P, I >
- compute_edges_goto()
: cfg_baset< T, P, I >
- compute_edges_start_thread()
: cfg_baset< T, P, I >
, concurrent_cfg_baset< T, P, I >
- compute_edges_throw()
: cfg_baset< T, P, I >
- compute_incoming_edges()
: goto_functionst
, goto_programt
- compute_location_numbers()
: goto_functionst
, goto_model_functiont
, goto_programt
- compute_loop_numbers()
: goto_functionst
, goto_programt
- compute_natural_loop()
: natural_loops_templatet< P, T >
- compute_overall_coverage()
: symex_coveraget
- compute_phase()
: aig_prop_solvert
- compute_rec()
: preconditiont
, rw_set_functiont
- compute_target_numbers()
: goto_functionst
, goto_programt
- compute_ts_back()
: symex_slice_by_tracet
- compute_ts_fd()
: symex_slice_by_tracet
- compute_unsafe_pairs()
: event_grapht::critical_cyclet
- computed_error_message
: non_byte_alignedt
, non_const_array_sizet
, non_const_byte_extraction_sizet
, non_constant_widtht
- computed_gotos
: goto_convertt::targetst
- computed_gotost
: goto_convertt
- con
: d_containert< keyT, valueT, equalT >
- concatenate()
: bv_utilst
- concatenation_exprt()
: concatenation_exprt
- concrete_nodes
: __CPROVER_jsa_abstract_heap
- concretize()
: interval_sparse_arrayt
- concretize_type()
: interpretert
- concurrency_aware_ait()
: concurrency_aware_ait< domainT >
- concurrency_aware_static_analysist()
: concurrency_aware_static_analysist< T >
- concurrency_instrumentationt()
: concurrency_instrumentationt
- concurrent_fixedpoint()
: ai_baset
, static_analysis_baset
- cond()
: code_dowhilet
, code_fort
, code_ifthenelset
, code_whilet
, cpp_static_assertt
, if_exprt
- cond_expr
: goto_trace_stept
, symex_target_equationt::SSA_stept
- cond_implies_equal()
: bv_utilst
- cond_literal
: symex_target_equationt::SSA_stept
- cond_negate()
: bv_utilst
- cond_negate_no_overflow()
: bv_utilst
- cond_value
: goto_trace_stept
- condition
: bmc_covert::goalt::instancet
, cover_goalst::goalt
, prop_minimizet::objectivet
- conditional_cast()
: typecast_exprt
- conditional_output()
: messaget
- conditions
: goto_program_coverage_recordt::coverage_linet
- cone_map
: cone_of_influencet
- cone_mapt
: cone_of_influencet
- cone_of_influence()
: cone_of_influencet
, disjunctive_polynomial_accelerationt
, polynomial_acceleratort
- cone_of_influencet()
: cone_of_influencet
- config_
: bv_refinementt
, string_refinementt
- conflicts_with()
: bv_refinementt
- connected_subgraphs()
: grapht< N >
- console_message_handlert()
: console_message_handlert
- const_cast_target()
: goto_programt
- const_cnt
: cpp_convert_typet
- const_depth_iteratort()
: const_depth_iteratort
- 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
, small_mapt< T, Ind, Num >::const_iterator
, 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_removed
: goto_program2codet
- const_reverse_iterator
: fixed_keys_map_wrappert< mapt >
- const_targetst
: goto_programt
, goto_programt::instructiont
- const_targett
: goto_programt
, goto_programt::instructiont
- const_typecast()
: cpp_typecheckt
- const_unique_depth_iteratort()
: const_unique_depth_iteratort
- const_value_iterator()
: small_mapt< T, Ind, Num >::const_value_iterator
- const_var_no()
: literalt
- constant()
: java_bytecode_parsert
- constant_char()
: string_constraint_generatort
- constant_exprt()
: constant_exprt
- constant_pool
: java_bytecode_parsert
- constant_poolt
: java_bytecode_parsert
- constant_propagation()
: goto_symex_statet
, goto_symext
, scratch_programt
- constant_propagation_reference()
: goto_symex_statet
- constant_propagator_ait()
: constant_propagator_ait
- constant_propagator_domaint
: constant_propagator_ait
- constants_done
: smt2_solvert
- constexpr_cnt
: cpp_convert_typet
- constraint()
: cover_goalst
, prop_minimizet
, symex_target_equationt
, symex_targett
- constraints
: aig_plus_constraintst
, string_constraint_generatort
- constraintst
: aig_plus_constraintst
- constructor
: ansi_c_convert_typet
- container
: cfg_baset< T, P, I >::entry_mapt
- contains()
: cpp_scopet
, monomialt
, value_set_fivrnst::object_map_dt::validity_ranget
, value_set_fivrt::object_map_dt::validity_ranget
- contains_method()
: method_bytecodet
- contains_nested_loops()
: acceleratet
- contains_shared_array()
: instrumentert::cfg_visitort
- content()
: array_string_exprt
, data
, format_textt
, refined_string_exprt
, string_exprt< child_t >
- continuation_of_block()
: cover_basic_blockst
- continue_is_allowed
: c_typecheck_baset
- continue_set
: goto_convertt::break_continue_targetst
, goto_convertt::targetst
- continue_stack_size
: goto_convertt::targetst
- continue_target
: goto_convertt::break_continue_targetst
, goto_convertt::targetst
- control_dep_candidates
: dep_graph_domaint
- control_dependencies()
: dep_graph_domaint
- control_deps
: dep_graph_domaint
- conversion()
: float_bvt
, float_utilst
, string_constraint_generatort::format_specifiert
- conversion_check()
: goto_checkt
- conversion_failed()
: boolbvt
- conversion_functiont
: character_refine_preprocesst
, java_string_library_preprocesst
- conversion_inputt
: character_refine_preprocesst
- conversion_table
: character_refine_preprocesst
, java_string_library_preprocesst
- convert()
: cpp_declarator_convertert
, cpp_typecheckt
, expr2ct
, expr2javat
, float_bvt
, goto_convertt
, java_bytecode_convert_classt
, java_bytecode_convert_methodt
, mmcc_parse_optionst
, prop_conv_solvert
, prop_convt
, show_goto_functions_jsont
, show_goto_functions_xmlt
, smt2_convt
, symex_target_equationt
, value_set_analysis_templatet< VSDT >
- convert_abs()
: boolbvt
- convert_add_sub()
: boolbvt
- convert_address_of_rec()
: bv_pointerst
, smt2_convt
- convert_aig()
: aig_prop_solvert
- convert_allocate()
: expr2ct
- convert_aload()
: java_bytecode_convert_methodt
- convert_and_analyze_method()
: ci_lazy_methodst
- convert_anon_struct_union_member()
: cpp_typecheckt
- convert_anonymous_union()
: cpp_typecheckt
- convert_array()
: boolbvt
, expr2ct
- convert_array_list()
: expr2ct
- convert_array_member_value()
: expr2ct
- convert_array_of()
: boolbvt
, expr2ct
- convert_array_type()
: expr2ct
- convert_asm()
: goto_convertt
- convert_assert()
: goto_convertt
- convert_assertions()
: symex_target_equationt
- convert_assign()
: goto_convertt
, goto_program2codet
- convert_assign_rec()
: goto_program2codet
, graphml_witnesst
- convert_assign_varargs()
: goto_program2codet
- convert_assignments()
: symex_target_equationt
- convert_assume()
: goto_convertt
- convert_assumptions()
: symex_target_equationt
- convert_astore()
: java_bytecode_convert_methodt
- convert_athrow()
: java_bytecode_convert_methodt
- convert_atomic_begin()
: goto_convertt
- convert_atomic_end()
: goto_convertt
- convert_binary()
: expr2ct
- convert_bitvector()
: boolbvt
, bv_cbmct
, bv_pointerst
- convert_bitwise()
: boolbvt
- convert_block()
: goto_convertt
- convert_bool()
: prop_conv_solvert
- convert_break()
: goto_convertt
- convert_bswap()
: boolbvt
- convert_bv()
: boolbvt
- convert_bv_literals()
: boolbvt
- convert_bv_reduction()
: boolbvt
- convert_bv_rel()
: boolbvt
- convert_bv_typecast()
: boolbvt
- convert_byte_extract()
: boolbvt
, expr2ct
, smt2_convt
- convert_byte_update()
: boolbvt
, expr2ct
, smt2_convt
- convert_case()
: boolbvt
- convert_catch()
: goto_program2codet
- convert_char_count()
: character_refine_preprocesst
- convert_char_function()
: character_refine_preprocesst
- convert_char_value()
: character_refine_preprocesst
- convert_checkcast()
: java_bytecode_convert_methodt
- convert_class_template_specialization()
: cpp_typecheckt
- convert_cmp()
: java_bytecode_convert_methodt
- convert_cmp2()
: java_bytecode_convert_methodt
- convert_code()
: expr2cppt
, expr2ct
, expr2javat
, jsil_convertt
- convert_code_array_copy()
: expr2ct
- convert_code_array_replace()
: expr2ct
- convert_code_array_set()
: expr2ct
- convert_code_asm()
: expr2ct
- convert_code_assert()
: expr2ct
- convert_code_assign()
: expr2ct
- convert_code_assume()
: expr2ct
- convert_code_block()
: expr2ct
- convert_code_break()
: expr2ct
- convert_code_continue()
: expr2ct
- convert_code_cpp_delete()
: expr2cppt
- convert_code_dead()
: expr2ct
- convert_code_decl()
: expr2ct
- convert_code_decl_block()
: expr2ct
- convert_code_dowhile()
: expr2ct
- convert_code_expression()
: expr2ct
- convert_code_fence()
: expr2ct
- convert_code_for()
: expr2ct
- convert_code_free()
: expr2ct
- convert_code_function_call()
: expr2ct
, expr2javat
- convert_code_goto()
: expr2ct
- convert_code_ifthenelse()
: expr2ct
- convert_code_init()
: expr2ct
- convert_code_input()
: expr2ct
- convert_code_java_delete()
: expr2javat
- convert_code_label()
: expr2ct
- convert_code_lock()
: expr2ct
- convert_code_output()
: expr2ct
- convert_code_printf()
: expr2ct
- convert_code_return()
: expr2ct
- convert_code_switch()
: expr2ct
- convert_code_switch_case()
: expr2ct
- convert_code_unlock()
: expr2ct
- convert_code_while()
: expr2ct
- convert_comma()
: expr2ct
- convert_compare()
: character_refine_preprocesst
- convert_complex()
: boolbvt
, expr2ct
- convert_complex_imag()
: boolbvt
- convert_complex_real()
: boolbvt
- convert_compound()
: dump_ct
- convert_compound_declaration()
: dump_ct
- convert_compound_enum()
: dump_ct
- convert_concatenation()
: boolbvt
, expr2ct
- convert_cond()
: boolbvt
, expr2ct
- convert_const()
: java_bytecode_convert_methodt
- convert_constant()
: boolbvt
, expr2cppt
, expr2ct
, expr2javat
, smt2_convt
- convert_constant_bool()
: expr2ct
- convert_constraint_select_one()
: boolbvt
- convert_constraints()
: symex_target_equationt
- convert_continue()
: goto_convertt
- convert_cpp_delete()
: goto_convertt
- convert_cpp_new()
: expr2cppt
- convert_cpp_this()
: expr2cppt
- convert_CPROVER_throw()
: goto_convertt
- convert_CPROVER_try_catch()
: goto_convertt
- convert_CPROVER_try_finally()
: goto_convertt
- convert_decl()
: goto_convertt
, goto_program2codet
- convert_decl_type()
: goto_convertt
- convert_decls()
: symex_target_equationt
- convert_designated_initializer()
: expr2ct
- convert_digit_char()
: character_refine_preprocesst
- convert_digit_int()
: character_refine_preprocesst
- convert_div()
: boolbvt
, bv_refinementt
, smt2_convt
- convert_do_while()
: goto_program2codet
- convert_dowhile()
: goto_convertt
- convert_dup2()
: java_bytecode_convert_methodt
- convert_dup2_x1()
: java_bytecode_convert_methodt
- convert_dup2_x2()
: java_bytecode_convert_methodt
- convert_end_thread()
: goto_convertt
- convert_equality()
: boolbvt
- convert_expr()
: smt2_convt
- convert_expression()
: goto_convertt
- convert_exprt_to_string_exprt()
: java_string_library_preprocesst
- convert_exprt_to_string_exprt_unit_test
: java_string_library_preprocesst
- convert_extractbit()
: boolbvt
, expr2cppt
, expr2ct
- convert_extractbits()
: boolbvt
, expr2cppt
, expr2ct
- convert_floatbv()
: smt2_convt
- convert_floatbv_div()
: smt2_convt
- convert_floatbv_minus()
: smt2_convt
- convert_floatbv_mult()
: smt2_convt
- convert_floatbv_op()
: boolbvt
, bv_refinementt
- convert_floatbv_plus()
: smt2_convt
- convert_floatbv_typecast()
: boolbvt
, smt2_convt
- convert_for()
: goto_convertt
- convert_for_digit()
: character_refine_preprocesst
- convert_from_irep()
: json_irept
- convert_from_json()
: json_irept
- convert_function()
: cpp_typecheckt
, expr2ct
, goto_convert_functionst
- convert_function_application()
: boolbvt
, expr2ct
- convert_function_call()
: goto_convertt
- convert_function_declaration()
: dump_ct
- convert_function_group_json()
: goto_difft
- convert_function_json()
: goto_difft
- convert_gcc_computed_goto()
: goto_convertt
- convert_gcc_local_label()
: goto_convertt
- convert_gcc_switch_case_range()
: goto_convertt
- convert_get_directionality_char()
: character_refine_preprocesst
- convert_get_directionality_int()
: character_refine_preprocesst
- convert_get_numeric_value_char()
: character_refine_preprocesst
- convert_get_numeric_value_int()
: character_refine_preprocesst
- convert_get_type_char()
: character_refine_preprocesst
- convert_get_type_int()
: character_refine_preprocesst
- convert_getstatic()
: java_bytecode_convert_methodt
- convert_global_variable()
: dump_ct
- convert_goto()
: goto_convertt
, goto_program2codet
- convert_goto_break_continue()
: goto_program2codet
- convert_goto_goto()
: goto_program2codet
- convert_goto_if()
: goto_program2codet
- convert_goto_instructions()
: symex_target_equationt
- convert_goto_switch()
: goto_program2codet
- convert_goto_while()
: goto_program2codet
- convert_guards()
: symex_target_equationt
- convert_hash_code()
: character_refine_preprocesst
- convert_high_surrogate()
: character_refine_preprocesst
- convert_Hoare()
: expr2ct
- convert_identifier()
: cpp_typecheck_resolvet
, smt2_convt
- convert_identifiers()
: cpp_typecheck_resolvet
- convert_ieee_float_rel()
: boolbvt
- convert_if()
: boolbvt
, java_bytecode_convert_methodt
- convert_if_cmp()
: java_bytecode_convert_methodt
- convert_ifnonull()
: java_bytecode_convert_methodt
- convert_ifnull()
: java_bytecode_convert_methodt
- convert_ifthenelse()
: goto_convertt
- convert_iinc()
: java_bytecode_convert_methodt
- convert_index()
: boolbvt
, expr2ct
, smt2_convt
- convert_index_designator()
: expr2ct
- convert_init()
: goto_convertt
- convert_initializer()
: cpp_typecheckt
- convert_initializer_list()
: expr2ct
- convert_instruction()
: goto_program2codet
- convert_instructions()
: java_bytecode_convert_methodt
- convert_invoke()
: java_bytecode_convert_methodt
- convert_invoke_dynamic()
: java_bytecode_convert_methodt
- convert_io()
: symex_target_equationt
- convert_is_alphabetic()
: character_refine_preprocesst
- convert_is_bmp_code_point()
: character_refine_preprocesst
- convert_is_defined_char()
: character_refine_preprocesst
- convert_is_defined_int()
: character_refine_preprocesst
- convert_is_digit_char()
: character_refine_preprocesst
- convert_is_digit_int()
: character_refine_preprocesst
- convert_is_dynamic_object()
: smt2_convt
- convert_is_high_surrogate()
: character_refine_preprocesst
- convert_is_identifier_ignorable_char()
: character_refine_preprocesst
- convert_is_identifier_ignorable_int()
: character_refine_preprocesst
- convert_is_ideographic()
: character_refine_preprocesst
- convert_is_ISO_control_char()
: character_refine_preprocesst
- convert_is_ISO_control_int()
: character_refine_preprocesst
- convert_is_java_identifier_part_char()
: character_refine_preprocesst
- convert_is_java_identifier_part_int()
: character_refine_preprocesst
- convert_is_java_identifier_start_char()
: character_refine_preprocesst
- convert_is_java_identifier_start_int()
: character_refine_preprocesst
- convert_is_java_letter()
: character_refine_preprocesst
- convert_is_java_letter_or_digit()
: character_refine_preprocesst
- convert_is_letter_char()
: character_refine_preprocesst
- convert_is_letter_int()
: character_refine_preprocesst
- convert_is_letter_or_digit_char()
: character_refine_preprocesst
- convert_is_letter_or_digit_int()
: character_refine_preprocesst
- convert_is_low_surrogate()
: character_refine_preprocesst
- convert_is_lower_case_char()
: character_refine_preprocesst
- convert_is_lower_case_int()
: character_refine_preprocesst
- convert_is_mirrored_char()
: character_refine_preprocesst
- convert_is_mirrored_int()
: character_refine_preprocesst
- convert_is_space()
: character_refine_preprocesst
- convert_is_space_char()
: character_refine_preprocesst
- convert_is_space_char_int()
: character_refine_preprocesst
- convert_is_supplementary_code_point()
: character_refine_preprocesst
- convert_is_surrogate()
: character_refine_preprocesst
- convert_is_surrogate_pair()
: character_refine_preprocesst
- convert_is_title_case_char()
: character_refine_preprocesst
- convert_is_title_case_int()
: character_refine_preprocesst
- convert_is_unicode_identifier_part_char()
: character_refine_preprocesst
- convert_is_unicode_identifier_part_int()
: character_refine_preprocesst
- convert_is_unicode_identifier_start_char()
: character_refine_preprocesst
- convert_is_unicode_identifier_start_int()
: character_refine_preprocesst
- convert_is_upper_case_char()
: character_refine_preprocesst
- convert_is_upper_case_int()
: character_refine_preprocesst
- convert_is_valid_code_point()
: character_refine_preprocesst
- convert_is_whitespace_char()
: character_refine_preprocesst
- convert_is_whitespace_int()
: character_refine_preprocesst
- convert_java_instanceof()
: expr2javat
- convert_java_new()
: expr2javat
- convert_java_this()
: expr2javat
- convert_label()
: goto_convertt
- convert_labels()
: goto_program2codet
- convert_lambda()
: boolbvt
- convert_lazy_method()
: java_bytecode_languaget
, language_filest
, language_filet
, languaget
- convert_let()
: boolbvt
, expr2ct
- convert_literal()
: expr2ct
, smt2_convt
- convert_loop_invariant()
: goto_convertt
- convert_low_surrogate()
: character_refine_preprocesst
- convert_member()
: boolbvt
, expr2ct
, smt2_convt
- convert_member_designator()
: expr2ct
- convert_minus()
: smt2_convt
- convert_mod()
: boolbvt
, bv_refinementt
, smt2_convt
- convert_monitorenter()
: java_bytecode_convert_methodt
- convert_monitorexit()
: java_bytecode_convert_methodt
- convert_msc_leave()
: goto_convertt
- convert_msc_try_except()
: goto_convertt
- convert_msc_try_finally()
: goto_convertt
- convert_mult()
: boolbvt
, bv_refinementt
, smt2_convt
- convert_multi_ary()
: expr2ct
- convert_multianewarray()
: java_bytecode_convert_methodt
- convert_named_sub_tree()
: json_irept
- convert_new()
: java_bytecode_convert_methodt
- convert_new_symbol()
: cpp_declarator_convertert
- convert_newarray()
: java_bytecode_convert_methodt
- convert_node()
: aig_prop_solvert
- convert_non_template_declaration()
: cpp_typecheckt
- convert_nondet()
: expr2ct
- convert_nondet_bool()
: expr2ct
- convert_nondet_symbol()
: expr2ct
- convert_norep()
: expr2ct
- convert_not()
: boolbvt
- convert_object_descriptor()
: expr2ct
- convert_onehot()
: boolbvt
- convert_operands()
: smt2_convt
- convert_overflow()
: boolbvt
, expr2ct
, smt2_convt
- convert_parameter()
: cpp_typecheckt
- convert_parameters()
: cpp_typecheckt
- convert_plus()
: smt2_convt
- convert_pmop()
: cpp_typecheckt
- convert_pointer_arithmetic()
: expr2ct
- convert_pointer_difference()
: expr2ct
- convert_pointer_object_has_type()
: expr2ct
- convert_pointer_type()
: bv_pointerst
, select_pointer_typet
- convert_pop()
: java_bytecode_convert_methodt
- convert_power()
: boolbvt
- convert_predicate_next_symbol()
: expr2ct
- convert_predicate_passive_symbol()
: expr2ct
- convert_predicate_symbol()
: expr2ct
- convert_prob_coin()
: expr2ct
- convert_prob_uniform()
: expr2ct
- convert_putfield()
: java_bytecode_convert_methodt
- convert_putstatic()
: java_bytecode_convert_methodt
- convert_quantified_symbol()
: expr2ct
- convert_quantifier()
: boolbvt
, expr2ct
- convert_rec()
: expr2cppt
, expr2ct
, expr2javat
- convert_reduction()
: boolbvt
- convert_relation()
: smt2_convt
- convert_replication()
: boolbvt
- convert_rest()
: boolbvt
, bv_pointerst
, prop_conv_solvert
- convert_ret()
: java_bytecode_convert_methodt
- convert_return()
: goto_convertt
, goto_program2codet
- convert_reverse_bytes()
: character_refine_preprocesst
- convert_rounding_mode_FPA()
: smt2_convt
- convert_shift()
: boolbvt
- convert_side_effect_expr_function_call()
: expr2ct
- convert_single_method()
: java_bytecode_languaget
- convert_sizeof()
: expr2ct
- convert_skip()
: goto_convertt
- convert_start_thread()
: goto_convertt
, goto_program2codet
- convert_statement_expression()
: expr2ct
- convert_store()
: java_bytecode_convert_methodt
- convert_struct()
: boolbvt
, expr2cppt
, expr2ct
, expr2javat
, smt2_convt
- convert_struct_member_value()
: expr2ct
- convert_struct_type()
: expr2ct
- convert_sub_tree()
: json_irept
- convert_switch()
: goto_convertt
, java_bytecode_convert_methodt
- convert_switch_case()
: goto_convertt
- convert_symbol()
: boolbvt
, expr2ct
- convert_symbols()
: compilet
- convert_template_declaration()
: cpp_typecheckt
- convert_template_function_or_member_specialization()
: cpp_typecheckt
- convert_template_parameter()
: cpp_typecheck_resolvet
- convert_throw()
: goto_program2codet
- convert_to_chars()
: character_refine_preprocesst
- convert_to_code_point()
: character_refine_preprocesst
- convert_to_lower_case_char()
: character_refine_preprocesst
- convert_to_lower_case_int()
: character_refine_preprocesst
- convert_to_title_case_char()
: character_refine_preprocesst
- convert_to_title_case_int()
: character_refine_preprocesst
- convert_to_upper_case_char()
: character_refine_preprocesst
- convert_to_upper_case_int()
: character_refine_preprocesst
- convert_trinary()
: expr2ct
- convert_try_catch()
: goto_convertt
- convert_type()
: smt2_convt
- convert_typecast()
: boolbvt
, expr2ct
, smt2_convt
- convert_unary()
: expr2ct
- convert_unary_minus()
: boolbvt
- convert_unary_post()
: expr2ct
- convert_union()
: boolbvt
, expr2ct
, smt2_convt
- convert_update()
: boolbvt
, expr2ct
, smt2_convt
- convert_update_rec()
: boolbvt
- convert_ushr()
: java_bytecode_convert_methodt
- convert_vector()
: boolbvt
, expr2ct
- convert_verilog_case_equality()
: boolbvt
- convert_waitfor()
: bv_cbmct
- convert_waitfor_symbol()
: bv_cbmct
- convert_while()
: goto_convertt
- convert_with()
: boolbvt
, expr2ct
, smt2_convt
- convert_with_array()
: boolbvt
- convert_with_bv()
: boolbvt
- convert_with_precedence()
: expr2cppt
, expr2ct
, expr2javat
- convert_with_struct()
: boolbvt
- convert_with_union()
: boolbvt
- converted_compound
: dump_ct
- converted_enum
: dump_ct
- converted_global
: dump_ct
- converted_instructiont()
: java_bytecode_convert_methodt::converted_instructiont
- converted_io_args
: symex_target_equationt::SSA_stept
- convertedt
: dump_ct
- copied_symbol_table
: dump_ct
- copy()
: goto_convertt
, small_mapt< T, Ind, Num >
- copy_and_erase()
: small_mapt< T, Ind, Num >
- copy_and_insert()
: small_mapt< T, Ind, Num >
- copy_assignment_from()
: cnf_clause_list_assignmentt
, propt
- copy_cnf()
: satcheck_zchaff_baset
- copy_from()
: goto_functionst
, goto_functiont
, goto_inlinet::goto_inline_logt
, goto_programt
, reference_counting< T >
- copy_item()
: ansi_c_parsert
- copy_objects()
: value_set_fivrnst
, value_set_fivrt
- copy_on_write_pointeet()
: copy_on_write_pointeet< Num >
- copy_on_writet()
: copy_on_writet< T >
- copy_segment()
: event_grapht
, goto_unwindt
- copy_symbols()
: linkingt
- copy_to()
: cnf_clause_listt
, qdimacs_cnft
- copy_to_operands()
: exprt
- copy_to_subtypes()
: typet
- cost
: cpp_typecheck_resolvet::matcht
, instrumentert
- count()
: c_qualifierst
, fixed_keys_map_wrappert< mapt >
, goto_symex_statet::framet::loop_infot
, java_qualifierst
, qualifierst
, smt2_convt::let_count_idt
, unsigned_union_find
, unsigned_union_find::nodet
- count_assertions()
: symex_target_equationt
- count_ignored_SSA_steps()
: symex_target_equationt
- count_roots()
: unsigned_union_find
- count_transitions()
: automatont
- count_type_leaves()
: interpretert
- cout_message_handlert()
: cout_message_handlert
- cover()
: bmct
- cover_assertion_instrumentert()
: cover_assertion_instrumentert
- cover_basic_blocks_javat()
: cover_basic_blocks_javat
- cover_basic_blockst()
: cover_basic_blockst
- cover_branch_instrumentert()
: cover_branch_instrumentert
- cover_condition_instrumentert()
: cover_condition_instrumentert
- cover_config
: jbmc_parse_optionst
- cover_cover_instrumentert()
: cover_cover_instrumentert
- cover_decision_instrumentert()
: cover_decision_instrumentert
- cover_goalst()
: cover_goalst
- cover_instrumenter_baset()
: cover_instrumenter_baset
- cover_instrumenters
: cover_configt
- cover_location_instrumentert()
: cover_location_instrumentert
- cover_mcdc_instrumentert()
: cover_mcdc_instrumentert
- cover_path_instrumentert()
: cover_path_instrumentert
- coverage
: symex_coveraget
- coverage_conditiont()
: goto_program_coverage_recordt::coverage_conditiont
- coverage_criterion
: cover_instrumenter_baset
- coverage_infot()
: symex_coveraget::coverage_infot
- coverage_innert
: symex_coveraget
- coverage_lines_mapt
: goto_program_coverage_recordt
- coverage_linet()
: goto_program_coverage_recordt::coverage_linet
- coverage_recordt()
: coverage_recordt
- coveraget
: symex_coveraget
- covered()
: symex_coveraget
- covered_goals
: bmc_covert::testt
- cpool_index
: java_bytecode_parse_treet::methodt::verification_type_infot
- cpp
: configt
- cpp11
: ansi_c_parsert
- cpp98
: ansi_c_parsert
- cpp_bool_cnt
: cpp_convert_typet
- cpp_constructor()
: cpp_typecheckt
- cpp_convert_typet()
: cpp_convert_typet
- cpp_declarationt()
: cpp_declarationt
- cpp_declarator_convertert()
: cpp_declarator_convertert
, cpp_typecheckt
- cpp_declaratort()
: cpp_declaratort
- cpp_destructor()
: cpp_typecheckt
- cpp_enum_typet()
: cpp_enum_typet
- cpp_id_mapt
: cpp_idt
- cpp_idt()
: cpp_idt
- cpp_is_pod()
: cpp_typecheckt
- cpp_languaget()
: cpp_languaget
- cpp_linkage_spect()
: cpp_linkage_spect
- cpp_member_spect()
: cpp_member_spect
- cpp_namespace_spect()
: cpp_namespace_spect
- cpp_namet()
: cpp_namet
- cpp_new_initializer()
: goto_convertt
- cpp_parse_tree
: cpp_languaget
, cpp_typecheckt
- cpp_parsert()
: cpp_parsert
- cpp_root_scopet()
: cpp_root_scopet
- cpp_save_scopet()
: cpp_save_scopet
- cpp_saved_template_mapt()
: cpp_saved_template_mapt
- cpp_scopes
: cpp_save_scopet
, cpp_typecheckt
- cpp_scopest()
: cpp_scopest
- cpp_scopet()
: cpp_scopet
- cpp_standard
: configt::cppt
- cpp_standardt
: configt::cppt
- cpp_static_assertt()
: cpp_static_assertt
- cpp_storage_spect()
: cpp_storage_spect
- cpp_template_args_baset()
: cpp_template_args_baset
- cpp_token_buffert()
: cpp_token_buffert
- cpp_typecastt()
: cpp_typecastt
- cpp_typecheck
: cpp_declarator_convertert
, cpp_typecastt
, cpp_typecheck_resolvet
- cpp_typecheck_fargst()
: cpp_typecheck_fargst
- cpp_typecheck_resolvet()
: cpp_typecheck_resolvet
, cpp_typecheckt
- cpp_typecheckt()
: cpp_typecheckt
- cpp_usingt()
: cpp_usingt
- cprover_equivalent_to_java_assign_and_return_function
: java_string_library_preprocesst
- cprover_equivalent_to_java_assign_function
: java_string_library_preprocesst
- cprover_equivalent_to_java_constructor
: java_string_library_preprocesst
- cprover_equivalent_to_java_function
: java_string_library_preprocesst
- cprover_equivalent_to_java_string_returning_function
: java_string_library_preprocesst
- cprover_macro_arities()
: compilet
- crbegin()
: fixed_keys_map_wrappert< mapt >
- create_child_stream_array()
: json_streamt
- create_child_stream_object()
: json_streamt
- create_flag()
: free_form_cmdlinet
- create_from_root_function()
: call_grapht
- create_method_stub()
: java_simple_method_stubst
- create_method_stub_at()
: java_simple_method_stubst
- create_stack_tmp_var()
: java_bytecode_convert_methodt
- create_stub_global_initializer_symbols()
: stub_global_initializer_factoryt
- create_unknown_handle()
: java_bytecode_parse_treet::classt::lambda_method_handlet
- created_strings
: string_constraint_generatort
- crend()
: fixed_keys_map_wrappert< mapt >
- critical_cyclet()
: event_grapht::critical_cyclet
- cumulative
: index_set_pairt
- current
: index_set_pairt
, member_offset_iterator
, prop_minimizet
, xml_parsert
- current_args
: string_abstractiont
- current_constraints
: string_refinementt
- current_count()
: goto_symex_statet::renaming_levelt
- current_function
: Parser
- current_linkage_spec
: cpp_typecheckt
- current_method
: java_bytecode_convert_methodt
- current_names
: goto_symex_statet::renaming_levelt
- current_namest
: goto_symex_statet::renaming_levelt
- current_pos
: cpp_token_buffert
- current_scope()
: ansi_c_parsert
, cpp_scopest
, Parser
- current_scope_ptr
: cpp_scopest
- current_symbol
: c_typecheck_baset
- current_target
: goto_program_dereferencet
- current_thread
: instrumentert::cfg_visitort
, shared_bufferst::cfg_visitort
- current_token()
: cpp_parsert
, cpp_token_buffert
- custom_bitvector_domaint
: custom_bitvector_analysist
, custom_bitvector_domaint
- cw_modet()
: cw_modet
- cycle_nb
: event_grapht::graph_explorert
- cycles
: shared_bufferst
- cycles_loc
: shared_bufferst
- cycles_r_loc
: shared_bufferst