- 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_cadicalt, 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_cadicalt, 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_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 >
- 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
- limit_distance() : float_bvt, float_utilst
- limplies() : cnft, propt
- linear_functiont() : linear_functiont
- link() : compilet
- link_error() : linkingt
- link_warning() : linkingt
- linkage() : cpp_linkage_spect
- linked_loop_analysist() : linked_loop_analysist< T >
- linker_data_is_malformed() : linker_script_merget
- linker_script_merget() : linker_script_merget
- linkingt() : linkingt
- lispsymbolt() : lispsymbolt
- literal_exprt() : literal_exprt
- literalt() : literalt
- liveness_contextt() : liveness_contextt
- lnand() : cnft, propt
- lnor() : cnft, propt
- 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
- 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
- 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_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 >
- loop_bound_exceeded() : goto_symext
- loop_contains() : linked_loop_analysist< T >, loop_with_parent_analysis_templatet< T >
- loop_id() : goto_programt
- loop_invariantt() : c_wranglert::loop_invariantt
- loop_templatet() : loop_templatet< T >
- loop_with_parent_analysis_templatet() : loop_with_parent_analysis_templatet< T >
- lor() : cnft, propt, qbf_bdd_coret
- low() : mini_bddt
- lower() : bitreverse_exprt, code_gcc_switch_case_ranget, count_leading_zeros_exprt, count_trailing_zeros_exprt, extractbits_exprt, popcount_exprt, shuffle_vector_exprt
- lower_bound() : forward_list_as_mapt< keyt, mappedt >
- 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