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

- l -

• l2_rename_rvalues() : goto_symex_statet
• l2_thread_read_encoding() : goto_symex_statet
• l2_thread_write_encoding() : goto_symex_statet
• l_get() : cnf_clause_list_assignmentt, cnf_clause_listt, dimacs_cnf_dumpt, pbs_dimacs_cnft, prop_conv_solvert, prop_convt, propt, qbf_bdd_certificatet, qbf_bdd_coret, qbf_quantort, qbf_qube_coret, qbf_qubet, qbf_skizzot, qbf_squolem_coret, qbf_squolemt, qdimacs_coret, satcheck_booleforce_baset, satcheck_cadical_baset, satcheck_glucose_baset< T >, satcheck_ipasirt, satcheck_lingelingt, satcheck_minisat1_baset, satcheck_minisat2_baset< T >, satcheck_picosatt, satcheck_zchaff_baset, satcheck_zcoret, smt2_convt
• l_set_to() : propt
• l_set_to_false() : propt
• l_set_to_true() : propt
• label() : java_bytecode_convert_methodt
• labels() : code_asm_gcct
• labelt() : labelt
• lambda_expression() : smt2_parsert
• lambda_exprt() : lambda_exprt
• lambda_method_handles() : java_class_typet
• lambda_method_handlet() : java_bytecode_parse_treet::classt::lambda_method_handlet
• land() : cnft, propt
• language_filet() : language_filet
• language_modulet() : language_modulet
• languaget() : languaget
• largest() : integer_bitvector_typet
• largest_expr() : integer_bitvector_typet
• last_statement() : codet
• last_type() : merged_typet
• latest_index() : symex_level2t
• latex() : document_propertiest
• lazy_class_to_declared_symbols_mapt() : lazy_class_to_declared_symbols_mapt
• lazy_constraintt() : arrayst::lazy_constraintt
• lazy_goto_functions_mapt() : lazy_goto_functions_mapt
• lazy_goto_modelt() : lazy_goto_modelt
• lazyt() : lazyt< valuet >
• lcnf() : cnf_clause_listt, dimacs_cnf_dumpt, propt, qbf_bdd_coret, qbf_squolem_coret, qbf_squolemt, satcheck_booleforce_baset, satcheck_cadical_baset, satcheck_glucose_baset< T >, satcheck_ipasirt, satcheck_lingelingt, satcheck_minisat1_baset, satcheck_minisat2_baset< T >, satcheck_picosatt
• lcss() : unified_difft
• ld_cmdlinet() : ld_cmdlinet
• ld_hybrid_binary() : ld_modet
• ld_modet() : ld_modet
• leaf_data() : structured_data_entryt
• leaf_enumeratort() : leaf_enumeratort
• leaf_object() : structured_data_entryt
• leave_function() : instrumentert::cfg_visitort
• leave_targett() : goto_convertt::leave_targett
• left_interval() : left_and_right_valuest
• left_shift() : constant_interval_exprt
• length() : refined_string_exprt
• length_constraint() : string_builtin_function_with_no_evalt, string_builtin_functiont, string_concat_char_builtin_functiont, string_concatenation_builtin_functiont, string_format_builtin_functiont, string_insertion_builtin_functiont, string_of_int_builtin_functiont, string_set_char_builtin_functiont, string_to_lower_case_builtin_functiont, string_to_upper_case_builtin_functiont
• length_type() : array_string_exprt
• lequal() : cnft, propt
• less_than() : constant_interval_exprt
• less_than_exprt() : less_than_exprt
• less_than_or_equal() : constant_interval_exprt
• less_than_or_equal_exprt() : less_than_or_equal_exprt
• let_count_idt() : letifyt::let_count_idt
• let_expression() : smt2_parsert
• let_exprt() : let_exprt
• letify() : letifyt
• level_string() : ui_message_handlert
• levels() : smt_pop_commandt, smt_push_commandt
• levenshtein_automatont() : levenshtein_automatont
• lexical_loops_templatet() : lexical_loops_templatet< P, T, C >
• lhs() : binary_exprt, code_assignt, code_frontend_assignt, code_function_callt, ieee_float_op_exprt, side_effect_expr_assignt, side_effect_expr_overflowt
• lift_let() : goto_symext
• lift_lets() : goto_symext
• lift_memory_predicates() : dfcct
• lift_parameters_and_update_body() : dfcc_lift_memory_predicatest
• lift_predicate() : dfcc_lift_memory_predicatest
• lift_predicates() : dfcc_lift_memory_predicatest
• limit_distance() : float_bvt, float_utilst
• limplies() : cnft, propt
• line_to_size_t() : instrument_spec_assignst::location_intervalt
• linear_functiont() : linear_functiont
• link() : compilet, linkingt
• link_allocated_call() : dfcc_libraryt
• link_deallocated_call() : dfcc_libraryt
• link_model_and_load_dfcc_library() : dfcct
• link_ptr_pred_ctx_call() : dfcc_libraryt
• linkage() : cpp_linkage_spect
• linked_loop_analysist() : linked_loop_analysist< T, C >
• linker_data_is_malformed() : linker_script_merget
• linker_script_merget() : linker_script_merget
• linking_diagnosticst() : linking_diagnosticst
• linkingt() : linkingt
• lispsymbolt() : lispsymbolt
• literal_exprt() : literal_exprt
• literal_vector_exprt() : literal_vector_exprt
• literalt() : literalt
• live_object() : axiomst
• live_object_exprt() : live_object_exprt
• live_object_fc() : axiomst
• liveness_contextt() : liveness_contextt
• lnand() : cnft, propt
• lnor() : cnft, propt
• load() : dfcc_libraryt
• load_all_functions() : lazy_goto_modelt
• load_class() : java_class_loader_baset
• load_class_file() : java_class_loader_limitt
• load_entire_jar() : java_class_loadert
• load_model_from_files() : api_sessiont
• local() : instrumentert::cfg_visitort, instrumentert
• local_bitvector_analysist() : local_bitvector_analysist
• local_cfgt() : local_cfgt
• local_control_flow_decisiont() : local_control_flow_decisiont
• local_control_flow_history_factoryt() : local_control_flow_history_factoryt
• local_control_flow_historyt() : local_control_flow_historyt< track_forward_jumps, track_backward_jumps >
• local_may_alias_factoryt() : local_may_alias_factoryt
• local_may_aliast() : local_may_aliast
• locality() : goto_symext
• localize_fault() : fault_localization_providert, multi_path_symex_checkert
• localize_linear() : goto_symex_fault_localizert
• localst() : localst
• location() : cpp_storage_spect, symex_target_equationt, symex_targett
• location_intervalt() : instrument_spec_assignst::location_intervalt
• location_update_visitort() : location_update_visitort
• log_unwinding() : symex_bmc_incremental_one_loopt
• log_version_and_architecture() : parse_options_baset
• logic() : smt_set_logic_commandt
• logical_and() : constant_interval_exprt
• logical_not() : constant_interval_exprt
• logical_or() : constant_interval_exprt
• logical_xor() : constant_interval_exprt
• LookAhead() : cpp_token_buffert
• lookup() : ansi_c_parsert, cpp_scopet, invariant_propagationt, multi_namespacet, namespace_baset, namespacet, symbol_table_baset, template_mapt
• lookup_expr() : template_mapt
• lookup_function_to_call() : function_call_harness_generatort::implt
• lookup_identifier() : cpp_scopet
• lookup_label() : ansi_c_parsert
• lookup_rec() : cpp_scopet
• lookup_ref() : symbol_table_baset
• lookup_type() : template_mapt
• loop_analysist() : loop_analysist< T, C >
• loop_bound_exceeded() : goto_symext
• loop_cfg_infot() : loop_cfg_infot
• loop_contains() : linked_loop_analysist< T, C >, loop_with_parent_analysis_templatet< T, C >
• loop_contract_clauset() : c_wranglert::loop_contract_clauset
• loop_contracts_clauset() : loop_contracts_clauset
• loop_contracts_synthesizer_baset() : loop_contracts_synthesizer_baset
• loop_id() : goto_programt
• loop_idt() : loop_idt
• loop_templatet() : loop_templatet< T, C >
• loop_with_parent_analysis_templatet() : loop_with_parent_analysis_templatet< T, C >
• lor() : cnft, propt, qbf_bdd_coret
• low() : mini_bddt
• lower() : bit_cast_exprt, bitreverse_exprt, code_gcc_switch_case_ranget, cond_exprt, count_leading_zeros_exprt, count_trailing_zeros_exprt, enum_is_in_range_exprt, find_first_set_exprt, minus_overflow_exprt, mult_overflow_exprt, onehot0_exprt, onehot_exprt, plus_overflow_exprt, pointer_in_range_exprt, popcount_exprt, prophecy_pointer_in_range_exprt, prophecy_r_or_w_ok_exprt, shuffle_vector_exprt, smt2_incremental_decision_proceduret, update_bit_exprt, update_bits_exprt, zero_extend_exprt
• lower_bound() : forward_list_as_mapt< keyt, mappedt >, pointer_in_range_exprt, prophecy_pointer_in_range_exprt
• lower_bound_var() : car_exprt
• lower_byte_operators() : smt2_convt
• lower_instanceof() : remove_instanceoft
• lower_java_new() : remove_java_newt
• lower_java_new_array() : remove_java_newt
• ls_data2instructions() : linker_script_merget
• lselect() : cnft, propt
• lshr_exprt() : lshr_exprt
• lt_or_le() : bv_utilst
• lxor() : cnft, propt