Here is a list of all functions with links to the classes they belong to:

- c -

• c2goto_parseopt() : c2goto_parseopt
• c_expr2stringt() : c_expr2stringt
• c_qualifierst() : c_qualifierst
• c_str() : irep_idt, string_pool
• c_typecastt() : c_typecastt
• cache_annotation_types() : python_typechecking
• calculate_a_property_monitor() : esbmc_parseoptionst
• calculate_element_count() : goto_symext
• calculate_mpor_constraints() : execution_statet
• calculate_old_element_count() : goto_symext
• call() : numpy_nditer, preprocessor.bound_method_dispatch._Dispatch, preprocessor.function_value_types._Analysis
• call_lambda_copy() : python_converter
• call_property_value() : python_converter
• call_returned_function() : python_converter
• callable_function_stubs() : python_converter
• can_carry_provenance() : typet
• can_emit_catchable_guard() : python_converter
• can_emit_runtime_guard() : python_converter
• can_execution_continue() : execution_statet
• capability_width() : configt::ansi_ct
• capacity() : array
• capture_lambda_free_variables() : python_converter
• cardinality() : wrapped_interval
• carry() : bitblast_convt
• carry_out() : bitblast_convt
• case_entry() : goto_convertt
• case_guard() : goto_convertt
• case_label() : goto_convertt
• case_op() : code_switch_caset
• case_range_hi() : code_switch_caset
• cast() : interval_templatet< T >, wrapped_interval
• cast_overflow_check() : goto_checkt
• cbegin() : array, parse_result, path, table
• cbmc_irep_readert() : cbmc_irep_readert
• cend() : array, parse_result, path, table
• cformat() : irept
• change_spec() : ieee_floatt
• char_array_type_length() : string_handler
• chase_copies() : goto_symext
• check() : goto2ct, goto_atomicity_checkt, goto_checkt, simplification_equivalence_checkert, ssa_features, TypeChecker
• check_alignment_attributes() : clang_c_convertert
• check_array_push_pop_length() : solidity_convertert
• check_authorization_through_tx_origin() : pattern_checker
• check_claim_unsatisfiable() : bmct
• check_create_new_thread() : grapht
• check_explicit_super() : function_call_expr
• check_for_duplicate_assigns() : symex_target_equationt
• check_for_hash_collision() : reachability_treet
• check_if_ileaves_blocked() : execution_statet
• check_incremental() : goto_symext
• check_index() : unsigned_union_find
• check_intrinsic_function() : solidity_convertert
• check_mpor_dependency() : execution_statet
• check_msat_error() : mathsat_convt
• check_param_holders() : preprocessor.function_value_dispatch._Plan
• check_prefix() : ts_enginet
• check_rec() : goto_checkt
• check_require_argument() : pattern_checker
• check_require_call() : pattern_checker
• check_returncode() : subprocess.CompletedProcess
• check_sol_ver() : solidity_convertert
• check_stack_size() : goto_symext
• check_thread_viable() : reachability_treet
• check_tx_origin() : pattern_checker
• check_type() : value_set_analysist
• check_uses() : preprocessor.function_value_dispatch._Plan
• check_vacuity() : bmct
• check_value_type() : python_dict_handler
• check_vtable_type_symbol_existence() : clang_cpp_convertert
• claim() : execution_statet, goto_symext, schedule_execution_statet
• claim_nonnull_operand() : goto_symext
• claim_not_code() : goto_symext
• claim_slicer() : claim_slicer
• claim_valid_operand() : goto_symext
• clang_c_adjust() : clang_c_adjust
• clang_c_adjust_irep2() : clang_c_adjust_irep2, clang_cpp_adjust_irep2
• clang_c_convertert() : clang_c_convertert
• clang_c_languaget() : clang_c_languaget
• clang_c_lexert() : clang_c_lexert
• clang_c_maint() : clang_c_maint
• clang_cpp_adjust() : clang_cpp_adjust
• clang_cpp_convertert() : clang_cpp_convertert
• clang_cpp_maint() : clang_cpp_maint
• clang_main() : clang_c_maint
• clang_resource_dir() : clang_c_languaget
• class_derives_from() : python_typechecking, type_handler
• class_method() : python_annotation< Json >
• class_mro_tuple() : python_converter
• class_object_name() : python_converter
• class_scope_default() : preprocessor.class_context_mixin.ClassContextMixin
• class_value() : python_converter
• class_value_type() : type_handler
• classes() : global_scope, module
• classify_assigns_targets() : frame_enforcert
• classify_view_contiguity() : python_list
• clause_call_callee() : code_contractst
• clause_call_reason() : code_contractst
• clear() : ai_baset, ait< domainT >, array, c_qualifierst, cmdlinet, contextt, ctest_generator, function_call_cache, goto_functionst, goto_programt, goto_programt::instructiont, goto_tracet, guard_seq, hash_numbering< T, hash_fkt >, irep_idt, irep_serializationt, irep_serializationt::ireps_containert, irept, irept::dt, k_path_spanning_sett, literalt, numbering< T >, parse_key_buffer, parsert, path, persistent_map< K, V, Hash >, property_verdict_tablet, pytest_generator, static_analysis_baset, static_analysist< T >, symbol_id, symbolt, symex_target_equationt, table, union_find< T >, unsigned_union_find, value_sett, xmlt
• clear_assertions() : symex_target_equationt
• clear_block_assertions() : dereferencet
• clear_parse() : language_uit
• clear_state() : interval_domaint
• clear_verified_claims_in_goto() : bmct
• clear_verified_claims_in_ssa() : bmct
• clear_writer() : irep2t
• cli_clientt() : llm::cli_clientt
• clientt() : llm::clientt
• clone() : dfs_execution_statet, execution_statet, execution_statet::ex_state_level2t, execution_statet::state_hashing_level2t, expr2t, renaming::level2t, runtime_encoded_equationt, schedule_execution_statet, symex_target_equationt, symex_targett, type2t
• close_step() : ts_enginet
• clz_zero_check() : goto_checkt
• cmdline() : optionst
• cmdlinet() : cmdlinet
• cmp() : expr2t, type2t
• cmp_three_way2t() : cmp_three_way2t
• cmt_active() : irept
• cmt_base_name() : irept
• cmt_constant() : irept
• cmt_identifier() : irept
• cmt_location() : irept
• cmt_size() : irept
• cmt_type() : irept
• cmt_unsigned() : irept
• cmt_volatile() : irept
• cmt_width() : irept
• cnf_convt() : cnf_convt
• code() : code_labelt, code_switch_caset, irept
• code_asm2t() : code_asm2t
• code_assert2t() : code_assert2t
• code_assertt() : code_assertt
• code_assign2t() : code_assign2t
• code_assignt() : code_assignt
• code_assume2t() : code_assume2t
• code_assumet() : code_assumet
• code_block2t() : code_block2t
• code_blockt() : code_blockt
• code_break2t() : code_break2t
• code_breakt() : code_breakt
• code_comma2t() : code_comma2t
• code_continue2t() : code_continue2t
• code_continuet() : code_continuet
• code_contractst() : code_contractst
• code_cpp_catch2t() : code_cpp_catch2t
• code_cpp_throw2t() : code_cpp_throw2t
• code_deadt() : code_deadt
• code_decl2t() : code_decl2t
• code_declt() : code_declt
• code_dowhile2t() : code_dowhile2t
• code_expressiont() : code_expressiont
• code_for2t() : code_for2t
• code_function_call2t() : code_function_call2t
• code_function_callt() : code_function_callt
• code_goto2t() : code_goto2t
• code_ifthenelse2t() : code_ifthenelse2t
• code_ifthenelset() : code_ifthenelset
• code_label2t() : code_label2t
• code_labelt() : code_labelt
• code_printf2t() : code_printf2t
• code_returnt() : code_returnt
• code_skip2t() : code_skip2t
• code_skipt() : code_skipt
• code_switch2t() : code_switch2t
• code_switch_case2t() : code_switch_case2t
• code_switch_caset() : code_switch_caset
• code_type2t() : code_type2t
• code_typet() : code_typet
• code_while2t() : code_while2t
• codet() : codet
• coerce_to_tuple_type() : tuple_handler
• collate_array_values() : array_convt
• collect() : ctest_generator, pytest_generator
• collect_address_taken() : goto_loopst
• collect_address_taken_labels() : clang_c_convertert
• collect_annotation_types() : python_typechecking
• collect_constraints() : andersent
• collect_dependencies() : symex_slicet
• collect_expr() : goto_convert_functionst
• collect_fields() : preprocessor.dataclass_mixin.DataclassMixin
• collect_function_call_arg_types() : python_annotation< Json >
• collect_global_variables() : frame_enforcert
• collect_lhs_symbols() : goto_loopst
• collect_loop_symbols() : goto_loopst
• collect_operands() : goto_convertt
• collect_range_aliases() : preprocessor.module_rewrite_mixin.ModuleRewriteMixin
• collect_range_wrappers() : preprocessor.module_rewrite_mixin.ModuleRewriteMixin
• collect_symbols() : goto_loop_invariantt
• collect_type() : goto_convert_functionst
• collect_unresolved_sources() : python_adjust
• column() : irept
• combine_nan_preds() : ir_ieee_convt
• comment() : irept
• compare() : BigInt, decimal.Decimal, irep_idt, irept, python_dict_handler, python_list, renaming::level1t::name_record, renaming::level2t::name_record, std::char_traits< charT >
• compare_class_values() : python_converter
• compare_signal() : decimal.Decimal
• compiler_args() : clang_c_languaget
• complement() : wrapped_interval
• complete() : llm::cli_clientt, llm::clientt
• complete_round() : property_verdict_tablet
• complex_handler() : complex_handler
• complex_type2t() : complex_type2t
• complex_typet() : complex_typet
• component() : irept
• component_name() : irept
• component_number() : struct_union_typet
• component_type() : struct_union_typet
• components() : irept, struct_union_typet
• componentt() : struct_union_typet::componentt
• compute() : rw_sett
• compute_expr() : python_math
• compute_function_summary() : goto_loopst
• compute_location_numbers() : goto_functionst, goto_programt
• compute_loop_numbers() : goto_functionst, goto_programt
• compute_target_numbers() : goto_functionst, goto_programt
• concat2t() : concat2t
• concat_key() : value_sett
• concat_tuple_with_list() : python_converter
• concatenate_strings() : string_builder
• concatenate_strings_via_c_function() : string_builder
• concrete_subtype_ids() : exception_typeidt
• concrete_subtypes() : exception_typeidt
• cond() : code_ifthenelset, if_exprt
• cond_invert() : literalt
• cond_negate() : bitblast_convt
• cond_negation() : literalt
• condition_coverage() : goto_coveraget
• config() : llm::clientt
• conjugate() : int.int
• const_var_no() : literalt
• constant_array2t() : constant_array2t
• constant_array_of2t() : constant_array_of2t
• constant_bool2t() : constant_bool2t
• constant_exprt() : constant_exprt
• constant_fixedbv2t() : constant_fixedbv2t
• constant_floatbv2t() : constant_floatbv2t
• constant_int2t() : constant_int2t
• constant_pointer_arith_offset() : value_sett
• constant_propagation() : goto_symex_statet
• constant_propagation_reference() : goto_symex_statet
• constant_string2t() : constant_string2t
• constant_struct2t() : constant_struct2t
• constant_union2t() : constant_union2t
• constant_vector2t() : constant_vector2t
• constexpr() : table
• construct_array_elements() : goto_convertt
• construct_elements() : clang_cpp_adjust_irep2
• construct_in_place() : goto_convertt
• construct_tuple_assigments() : solidity_convertert
• contains() : interval_templatet< T >, jimple_modifiers, python_list, table, wrapped_interval
• contextt() : contextt
• contiguous_view_desc() : python_list
• contract_interval_le() : interval_templatet< T >
• contract_precheck() : solidity_convertert
• contract_return_value_symbol() : python_converter
• Contractor() : Contractor
• Contractors() : Contractors
• contracts_enabled() : optionst
• convert() : c_expr2stringt, clang_c_convertert, cpp_expr2stringt, expr2ct, goto_convertt, goto_function_serializationt, goto_program_serializationt, jimple_converter, ld_converter, minisat_convt, python_converter, runtime_encoded_equationt, solidity_convertert, symbol_serializationt, symex_target_equationt, value_set_analysist
• convert_addr_of() : smt_solver_baset
• convert_alloca() : c_expr2stringt, expr2ct
• convert_array() : c_expr2stringt
• convert_array_assign() : array_convt
• convert_array_index() : smt_solver_baset
• convert_array_list() : c_expr2stringt
• convert_array_member_value() : c_expr2stringt
• convert_array_of() : array_convt, array_iface, bitwuzla_convt, boolector_convt, c_expr2stringt, cvc5_convt, cvc_convt, expr2ct, mathsat_convt, smtlib_convt, yices_convt, z3_convt
• convert_array_of_prep() : smt_solver_baset
• convert_array_of_wsort() : array_convt
• convert_array_store() : smt_solver_baset
• convert_assert() : goto_convertt
• convert_assign() : goto_convertt, smt_convt, smt_solver_baset
• convert_assign_atomic() : goto_convertt
• convert_assign_rmw_atomic() : goto_convertt
• convert_assume() : goto_convertt
• convert_ast() : smt_convt, smt_solver_baset
• convert_ast_node() : smt_solver_baset
• convert_ast_nodes() : solidity_convertert
• convert_atomic_begin() : goto_convertt
• convert_atomic_end() : goto_convertt
• convert_binary() : c_expr2stringt
• convert_bitcast() : c_expr2stringt, smt_solver_baset
• convert_bitcast_to_fp() : smt_solver_baset
• convert_bitcast_to_struct() : smt_solver_baset
• convert_block() : goto_convertt
• convert_bool_literal() : solidity_convertert
• convert_break() : goto_convertt
• convert_bswap() : smt_solver_baset
• convert_builtin_types() : clang_c_convertert
• convert_byte_extract() : c_expr2stringt, smt_solver_baset
• convert_byte_extract_bv_mode() : smt_solver_baset
• convert_byte_extract_int_mode() : smt_solver_baset
• convert_byte_update() : c_expr2stringt, smt_solver_baset
• convert_byte_update_bv_mode() : smt_solver_baset
• convert_byte_update_int_mode() : smt_solver_baset
• convert_byte_update_int_mode_expr() : smt_solver_baset
• convert_catch() : goto_convertt
• convert_character_literal() : clang_c_convertert
• convert_code() : c_expr2stringt, cpp_expr2stringt
• convert_code_asm() : c_expr2stringt
• convert_code_assert() : c_expr2stringt, expr2ct
• convert_code_assign() : c_expr2stringt, expr2ct
• convert_code_assume() : c_expr2stringt, expr2ct
• convert_code_block() : c_expr2stringt
• convert_code_break() : c_expr2stringt
• convert_code_continue() : c_expr2stringt
• convert_code_cpp_delete() : cpp_expr2stringt
• convert_code_dead() : c_expr2stringt
• convert_code_decl() : c_expr2stringt, expr2ct
• convert_code_decl_block() : c_expr2stringt
• convert_code_dowhile() : c_expr2stringt
• convert_code_expression() : c_expr2stringt
• convert_code_for() : c_expr2stringt
• convert_code_free() : c_expr2stringt, expr2ct
• convert_code_function_call() : c_expr2stringt
• convert_code_gcc_goto() : c_expr2stringt
• convert_code_goto() : c_expr2stringt
• convert_code_ifthenelse() : c_expr2stringt
• convert_code_init() : c_expr2stringt
• convert_code_label() : c_expr2stringt
• convert_code_lock() : c_expr2stringt
• convert_code_printf() : c_expr2stringt, expr2ct
• convert_code_return() : c_expr2stringt, expr2ct
• convert_code_switch() : c_expr2stringt
• convert_code_switch_case() : c_expr2stringt
• convert_code_unlock() : c_expr2stringt
• convert_code_while() : c_expr2stringt
• convert_concat_int_mode() : smt_solver_baset
• convert_cond() : c_expr2stringt
• convert_constant() : c_expr2stringt, cpp_expr2stringt, expr2ct
• convert_continue() : goto_convertt
• convert_controlled() : goto_convertt
• convert_cpp_delete() : goto_convertt
• convert_cpp_new() : cpp_expr2stringt
• convert_cpp_new_elements() : goto_convertt
• convert_cpp_this() : cpp_expr2stringt
• convert_decl() : goto_convertt
• convert_decl_block() : goto_convertt
• convert_decl_initializer() : goto_convertt
• convert_dowhile() : goto_convertt
• convert_dynamic_size() : expr2ct
• convert_dynamic_static_init() : goto_convertt
• convert_exception_id() : clang_cpp_adjust
• convert_expression() : goto_convertt
• convert_expression_to_code() : clang_c_convertert, clang_cpp_adjust, clang_cpp_maint, solidity_convertert
• convert_extract() : c_expr2stringt
• convert_extractbit() : c_expr2stringt
• convert_float_literal() : clang_c_convertert
• convert_for() : goto_convertt
• convert_full_expression() : goto_convertt
• convert_function() : c_expr2stringt, goto_convert_functionst
• convert_function_call() : c_expr2stringt, goto_convertt
• convert_goto() : goto_convertt
• convert_hex_literal() : solidity_convertert
• convert_Hoare() : c_expr2stringt
• convert_identifier_pointer() : smt_solver_baset
• convert_ieee_add() : expr2ct
• convert_ieee_arith_2op() : smt_solver_baset
• convert_ieee_div() : expr2ct
• convert_ieee_mul() : expr2ct
• convert_ieee_sqrt() : expr2ct
• convert_ieee_sub() : expr2ct
• convert_ifthenelse() : goto_convertt
• convert_implicit_address_of() : c_expr2stringt
• convert_index() : c_expr2stringt
• convert_infinity() : expr2ct
• convert_init() : goto_convertt
• convert_integer_literal() : clang_c_convertert, solidity_convertert
• convert_intrinsics() : solidity_languaget
• convert_is_finite() : smt_solver_baset
• convert_is_inf() : smt_solver_baset
• convert_is_nan() : smt_solver_baset
• convert_is_normal() : smt_solver_baset
• convert_join_items() : string_handler
• convert_label() : goto_convertt
• convert_lambda_call() : python_converter
• convert_loop_with_invariant() : goto_loop_invariantt
• convert_lvalue_ref_to_deref_sideeffect() : clang_cpp_adjust
• convert_malloc() : c_expr2stringt, expr2ct
• convert_member() : c_expr2stringt, expr2ct, smt_solver_baset
• convert_modulus() : smt_solver_baset
• convert_native_full_expression() : goto_convert_functionst
• convert_native_rec() : goto_convert_functionst
• convert_non_deterministic_goto() : goto_convertt
• convert_nondet() : c_expr2stringt, expr2ct
• convert_nondet_bool() : c_expr2stringt
• convert_nondet_symbol() : c_expr2stringt
• convert_norep() : c_expr2stringt
• convert_object_descriptor() : c_expr2stringt
• convert_operand_types() : solidity_convertert
• convert_overflow() : c_expr2stringt
• convert_pointer_arith() : smt_solver_baset
• convert_pointer_bitcast() : smt_solver_baset
• convert_pointer_object_has_type() : c_expr2stringt
• convert_pointer_offset() : expr2ct
• convert_popcount() : smt_solver_baset
• convert_predicate_next_symbol() : c_expr2stringt
• convert_predicate_symbol() : c_expr2stringt
• convert_ptr_cmp() : smt_solver_baset
• convert_quantified_symbol() : c_expr2stringt
• convert_quantifier() : c_expr2stringt
• convert_quantifier_calls() : goto_convertt
• convert_realloc() : c_expr2stringt, expr2ct
• convert_rec() : c_expr2stringt, cpp_expr2stringt, expr2ct
• convert_ref_to_deref_symbol() : clang_cpp_adjust
• convert_reference() : c_typecastt, clang_cpp_adjust
• convert_return() : goto_convertt
• convert_rounding_mode() : smt_solver_baset
• convert_same_object() : expr2ct
• convert_signbit() : smt_solver_baset
• convert_sizeof() : c_expr2stringt
• convert_skip() : goto_convertt
• convert_sort() : smt_solver_baset
• convert_statement_expression() : c_expr2stringt
• convert_string_literal() : clang_c_convertert, solidity_convertert
• convert_struct() : c_expr2stringt, cpp_expr2stringt, expr2ct
• convert_struct_member_value() : c_expr2stringt
• convert_struct_union_body() : c_expr2stringt, expr2ct
• convert_struct_union_typedef() : expr2ct
• convert_switch() : goto_convertt
• convert_switch_case() : goto_convertt
• convert_symbol() : c_expr2stringt, expr2ct
• convert_terminal() : smt_solver_baset
• convert_throw() : goto_convertt
• convert_to_pointer() : c_typecastt
• convert_to_string() : string_handler
• convert_to_wrap() : wrapped_interval
• convert_top_level_decl() : clang_c_convertert
• convert_trinary() : c_expr2stringt
• convert_type_expr() : solidity_convertert
• convert_typecast() : c_expr2stringt, expr2ct, smt_solver_baset
• convert_typecast_from_fpbv() : smt_solver_baset
• convert_typecast_from_ptr() : smt_solver_baset
• convert_typecast_to_bool() : smt_solver_baset
• convert_typecast_to_fixedbv_nonint() : smt_solver_baset
• convert_typecast_to_fixedbv_nonint_from_bool() : smt_solver_baset
• convert_typecast_to_fixedbv_nonint_from_bv() : smt_solver_baset
• convert_typecast_to_fixedbv_nonint_from_fixedbv() : smt_solver_baset
• convert_typecast_to_fpbv() : smt_solver_baset
• convert_typecast_to_ints() : smt_solver_baset
• convert_typecast_to_ints_from_bool() : smt_solver_baset
• convert_typecast_to_ints_from_fbv_sint() : smt_solver_baset
• convert_typecast_to_ints_from_unsigned() : smt_solver_baset
• convert_typecast_to_ints_intmode() : smt_solver_baset
• convert_typecast_to_ptr() : smt_solver_baset
• convert_typecast_to_struct() : smt_solver_baset
• convert_unary() : c_expr2stringt
• convert_unary_post() : c_expr2stringt
• convert_unboundcall_nondet() : solidity_convertert
• convert_union() : c_expr2stringt, expr2ct
• convert_while() : goto_convertt
• convert_with() : c_expr2stringt
• copy() : goto_convertt, std::char_traits< charT >
• copy_abs() : decimal.Decimal
• copy_aliased_methods() : preprocessor.class_context_mixin.ClassContextMixin
• copy_derived_from() : execution_statet
• copy_dict_entries() : python_dict_handler
• copy_from() : goto_programt
• copy_if_needed() : interval_domaint
• copy_location_fields_from_decl() : python_converter
• copy_memory_content() : goto_symext
• copy_negate() : decimal.Decimal
• copy_old_objects() : goto_symext
• copy_sign() : decimal.Decimal
• copy_single_element() : goto_symext
• copy_strided_view() : python_list
• copy_to_operands() : exprt
• count() : persistent_set< K, Hash >, unsigned_union_find
• count_ignored_SSA_steps() : symex_target_equationt
• count_roots() : unsigned_union_find
• coveredinbees() : renaming::level2t
• cpp_expr2stringt() : cpp_expr2stringt
• cpp_name_type2t() : cpp_name_type2t
• cpp_new_at() : goto_convertt
• cpp_new_init_list() : goto_convertt
• cpp_new_initializer() : goto_convertt
• cpp_new_store_element() : goto_convertt
• cpp_new_zero_fill() : goto_convertt
• cpp_type() : irept
• cpython_float_str() : string_handler
• crc() : expr2t, irep_container< T >, type2t
• create() : module_manager, numpy_nditer
• create_char_comparison_expr() : string_handler
• create_constant_node() : preprocessor.ast_utils_mixin.AstUtilsMixin
• create_cse_symbol() : goto_cse
• create_dict_from_literal() : python_dict_handler
• create_dict_with_unpacking() : python_dict_handler
• create_dynamic_memory_symbol() : goto_symext
• create_empty_dict() : python_dict_handler
• create_function_loop() : goto_loopst
• create_goto_program() : esbmc_parseoptionst
• create_int_right_shift() : smt_solver_baset
• create_interval_vector() : CspMap
• create_jimple_symbolt() : jimple_ast
• create_lhs_expression() : python_converter
• create_name_node() : preprocessor.ast_utils_mixin.AstUtilsMixin
• create_next_state() : reachability_treet
• create_result_pointer() : goto_symext
• create_symbol() : python_converter
• create_tuple_struct_type() : tuple_handler
• cse_domaint() : cse_domaint
• CspMap() : CspMap
• ctest_generator() : ctest_generator
• cull_all_paths() : execution_statet
• current_ast_scope() : python_converter
• current_block_statement_count() : python_converter
• current_classname() : python_converter
• current_function_name() : python_converter
• current_module_name() : python_converter
• current_name() : goto_symex_statet
• current_number() : renaming::level1t, renaming::level2t
• current_thread_tag() : irep2t
• current_value() : renaming::level2t
• cut() : wrapped_interval
• cvc5_convt() : cvc5_convt
• cvc_convt() : cvc_convt