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

- l -

• l : arrayst::array_equalityt , boolbvt::quantifiert , literalt
• l1_indices : path_storaget
• l1_types : goto_symex_statet
• l1_typest : goto_symex_statet
• l2_indices : path_storaget
• 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 : build_declaration_hops_inputst , java_bytecode_convert_methodt , mini_bdd_mgrt::var_table_entryt
• label_instruction : build_declaration_hops_inputst
• label_references : statement_list_typecheckt
• label_referencest : statement_list_typecheckt
• label_scope_index : build_declaration_hops_inputst
• labels() : code_asm_gcct , goto_convertt::targetst , goto_programt::instructiont
• labels_defined : c_typecheck_baset
• labels_in_use : goto_program2codet
• labels_used : c_typecheck_baset
• labelst : goto_convertt , goto_programt::instructiont
• labelt() : labelt
• lambda_expression() : smt2_parsert
• lambda_exprt() : lambda_exprt
• lambda_method_handle_map : java_bytecode_parse_treet::classt
• lambda_method_handle_mapt : java_bytecode_parse_treet::classt
• lambda_method_handles() : java_class_typet
• lambda_method_handlet() : java_bytecode_parse_treet::classt::lambda_method_handlet , java_bytecode_parsert
• land() : cnft , propt
• language : language_filet
• language_files : lazy_goto_functions_mapt , lazy_goto_modelt
• language_filet() : language_filet
• language_mode : dfcc_contract_functionst , goto_symext , value_set_dereferencet
• language_modulet() : language_modulet
• language_options : java_bytecode_languaget
• languaget() : languaget
• LARGE_SIGNED_INT : c_typecastt
• LARGE_UNSIGNED_INT : c_typecastt
• largest() : integer_bitvector_typet
• largest_expr() : integer_bitvector_typet
• last : interval
• last_declarator : ansi_c_scopet
• last_line : parsert
• last_path : all_paths_enumeratort
• last_peeked : path_lifot
• last_source_location : container_encoding_targett , symex_bmct
• last_statement() : codet
• last_type() : merged_typet
• last_write_context : vsd_configt
• last_written_locations : write_location_contextt
• latch : dfcc_loop_nesting_graph_nodet
• latest_index() : symex_level2t
• latex() : document_propertiest
• LATEX : document_propertiest
• lazy : arrayst::lazy_constraintt
• lazy_array_constraints : arrayst
• lazy_arrays : arrayst
• 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
• lazy_method_map : language_filest
• lazy_method_mapt : language_filest
• lazy_methods_extra_entry_points : ci_lazy_methodst
• lazy_methods_mode : java_bytecode_language_optionst
• lazy_typet : arrayst
• lazyt() : lazyt< valuet >
• lb : __CPROVER_contracts_car_t , boundst
• lcfd_ptrt : local_control_flow_decisiont , local_control_flow_historyt< track_forward_jumps, track_backward_jumps >
• 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
• lcnf_bv : propt
• lcss() : unified_difft
• ld_cmdlinet() : ld_cmdlinet
• ld_hybrid_binary() : ld_modet
• ld_modet() : ld_modet
• le_set : invariant_sett
• leaf : java_bytecode_convert_methodt::block_tree_nodet
• leaf_data() : structured_data_entryt
• leaf_enumeratort() : leaf_enumeratort
• leaf_exprs : leaf_enumeratort
• leaf_listt : d_containert< keyT, valueT, equalT > , sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT > , sharing_nodet< keyT, valueT, equalT >
• leaf_object() : structured_data_entryt
• leaft : d_containert< keyT, valueT, equalT > , sharing_nodet< keyT, valueT, equalT >
• leave_function() : instrumentert::cfg_visitort
• leave_set : goto_convertt::leave_targett , goto_convertt::targetst
• leave_stack_node : goto_convertt::leave_targett , goto_convertt::targetst
• leave_target : goto_convertt::leave_targett , goto_convertt::targetst
• leave_targett() : goto_convertt::leave_targett
• left : left_and_right_valuest
• left_depth_below_common_ancestor : ancestry_resultt
• left_interval() : left_and_right_valuest
• left_shift() : constant_interval_exprt
• len : string_ptrt
• length : java_bytecode_convert_methodt::holet , java_bytecode_convert_methodt::variablet , java_bytecode_parse_treet::methodt::local_variablet , 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_modifier : format_tokent
• length_modifierst : format_tokent
• length_of_array : array_poolt
• 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
• let_id_count : letifyt
• let_symbol : letifyt::let_count_idt
• letify() : letifyt , smt2_convt
• level : api_messaget
• level1 : goto_symex_statet
• level2 : goto_statet
• level_string() : ui_message_handlert
• levels : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT > , smt_pop_commandt , smt_push_commandt
• levenshtein_automatont() : levenshtein_automatont
• lex : Parser
• lexical_loops_templatet() : lexical_loops_templatet< P, T, C >
• lexical_loopt : lexical_loops_templatet< P, T, C >
• lhs : assignmentt , binary_exprt , code_assignt , code_frontend_assignt , code_function_callt , framet::implicationt , ieee_float_op_exprt , left_and_right_valuest , side_effect_expr_assignt , side_effect_expr_overflowt
• lib : configt::ansi_ct
• libraries : compilet
• library : dfcc_contract_clauses_codegent , dfcc_contract_functionst , dfcc_contract_handlert , dfcc_instrument_loopt , dfcc_instrumentt , dfcc_is_freeablet , dfcc_is_fresht , dfcc_lift_memory_predicatest , dfcc_obeys_contractt , dfcc_pointer_in_ranget , dfcc_spec_functionst , dfcc_swap_and_wrapt , dfcc_wrapper_programt , dfcct
• library_paths : compilet
• libt : configt::ansi_ct
• lifetime : goto_convertt , symbol_factoryt
• 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
• lifted_parameters : dfcc_lift_memory_predicatest
• limit_distance() : float_bvt , float_utilst
• limplies() : cnft , propt
• line : invariant_failedt , xml_graph_nodet
• line_no : cpp_tokent , parsert , smt2_tokenizert , smt2_tokenizert::smt2_errort
• line_number : cscannert , ctokent , document_propertiest::linet , memory_snapshot_harness_generatort::entry_source_locationt
• LINE_SEPARATOR : format_specifiert
• line_to_size_t() : instrument_spec_assignst::location_intervalt
• linear_functiont() : linear_functiont
• lines_covered : coverage_recordt
• lines_total : coverage_recordt
• linest : source_linest
• link() : compilet , linkingt
• link_allocated_call() : dfcc_libraryt
• link_allocated_caller : dfcc_wrapper_programt
• link_deallocated_call() : dfcc_libraryt
• link_deallocated_contract : dfcc_wrapper_programt
• link_is_fresh : dfcc_wrapper_programt
• link_is_fresh_call() : dfcc_libraryt
• LINK_LIBRARY : compilet
• link_model_and_load_dfcc_library() : dfcct
• linkage() : cpp_linkage_spect
• linkage_spec : cpp_declarator_convertert
• linked_allocated : __CPROVER_contracts_write_set_t
• linked_deallocated : __CPROVER_contracts_write_set_t
• linked_is_fresh : __CPROVER_contracts_write_set_t
• linked_loop_analysist() : linked_loop_analysist< T, C >
• linker_data_is_malformed() : linker_script_merget
• linker_script_merget() : linker_script_merget
• linker_valuest : linker_script_merget
• linking_diagnosticst() : linking_diagnosticst
• linkingt() : linkingt
• lispsymbolt() : lispsymbolt
• list : __CPROVER_jsa_abstract_node , __CPROVER_jsa_concrete_node , __CPROVER_jsa_iterator , code_with_references_listt
• List : lispexprt
• list_count : __CPROVER_jsa_abstract_heap
• list_head_nodes : __CPROVER_jsa_abstract_heap
• list_input_varst : interpretert
• list_memory_usage : string_container_statisticst
• list_only : show_goto_functions_jsont , show_goto_functions_xmlt
• literal_exprt() : literal_exprt
• literal_map : boolbv_mapt::map_entryt
• literal_vector_exprt() : literal_vector_exprt
• literals : solver_hardnesst::sat_hardnesst
• literalt() : literalt
• little_endian : elf_readert
• live_object() : axiomst
• live_object_exprs : axiomst
• live_object_exprt() : live_object_exprt
• live_object_fc() : axiomst
• live_variables : cext
• liveness : vsd_configt
• liveness_context_ptrt : liveness_contextt
• 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
• loaded : dfcc_libraryt
• loading_successful : java_bytecode_parse_treet
• loc : datat , object_creation_infot , path_nodet , reference_allocationt , symbol_factoryt
• loc_infos : local_bitvector_analysist , local_may_aliast
• loc_infost : local_bitvector_analysist , local_may_aliast
• loc_map : local_cfgt
• loc_mapt : local_cfgt
• local : abstract_eventt , dfcc_loop_infot , instrumentert::cfg_visitort , instrumentert
• local_bitvector_analysis : goto_check_ct
• 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_fields : shadow_memory_field_definitionst
• local_map : interpretert::stack_framet
• local_may_alias : havoc_loopst , k_inductiont
• local_may_alias_factory : custom_bitvector_analysist
• local_may_alias_factoryt() : local_may_alias_factoryt
• local_may_aliast() : local_may_aliast
• local_objects : framet
• local_static : goto_program2codet
• local_static_declst : dump_ct
• local_static_set : goto_program2codet
• local_variable_table : java_bytecode_parse_treet::methodt
• local_variable_table_with_holest : java_bytecode_convert_methodt
• local_variable_tablet : java_bytecode_convert_methodt , java_bytecode_parse_treet::methodt
• local_variablet : java_bytecode_convert_methodt
• local_verification_type_infot : java_bytecode_parse_treet::methodt::stack_map_table_entryt
• locality() : goto_symext
• localization_points_valuet : goto_symex_fault_localizert
• localization_pointst : goto_symex_fault_localizert
• localize_fault() : fault_localization_providert , multi_path_symex_checkert
• localize_linear() : goto_symex_fault_localizert
• locals : function_cfg_infot , goto_program_cfg_infot , java_bytecode_parse_treet::methodt::stack_map_table_entryt , local_bitvector_analysist , local_may_aliast , localst , loop_cfg_infot , string_abstractiont
• locals_sett : localst
• localsearch_limit : satcheck_cadical_baset
• localst() : localst , string_abstractiont
• location : conversion_dependenciest , cpp_storage_spect , default_trace_stept , location_update_visitort , merge_location_update_visitort , symbolt , symex_coveraget::coverage_infot , symex_target_equationt , symex_targett
• location_intervalt() : instrument_spec_assignst::location_intervalt
• location_map : goto_unwindt::unwind_logt
• location_mapt : goto_unwindt::unwind_logt
• location_number : goto_programt::instructiont , memory_snapshot_harness_generatort::entry_goto_locationt , value_sett
• location_update_visitort() : location_update_visitort
• locationst : call_grapht , context_abstract_objectt
• locationt : abstract_objectt , ai_baset , ai_domain_baset , ai_domain_factory_baset , ai_domain_factory_default_constructort< domainT > , ai_domain_factory_location_constructort< domainT > , ai_domain_factoryt< domainT > , ai_history_baset , ai_storage_baset , ait< domainT > , call_grapht , concurrency_aware_ait< domainT > , flow_insensitive_abstract_domain_baset , flow_insensitive_analysis_baset , flow_insensitive_analysist< T > , local_control_flow_decisiont , value_set_analysis_templatet< VSDT >
• loct : state_encodingt
• log : arrayst , bv_minimizet , bv_minimizing_dect , cegis_verifiert , code_contractst , compilet , complexity_limitert , counterexample_beautificationt , dfcc_contract_clauses_codegent , dfcc_contract_functionst , dfcc_contract_handlert , dfcc_instrument_loopt , dfcc_instrumentt , dfcc_is_fresht , dfcc_libraryt , dfcc_lift_memory_predicatest , dfcc_obeys_contractt , dfcc_pointer_in_ranget , dfcc_spec_functionst , dfcc_swap_and_wrapt , dfcc_wrapper_programt , dfcct , function_name_manglert< MangleFun > , gdb_apit , goto_check_ct , goto_inlinet , goto_symext , goto_verifiert , havoc_assigns_targetst , incremental_goto_checkert , insert_final_assert_falset , instrument_spec_assignst , java_bytecode_convert_classt , java_bytecode_convert_methodt , java_class_loader_limitt , java_object_factoryt , linker_script_merget , loop_contracts_synthesizer_baset , osx_fat_readert , osx_mach_o_readert , parse_options_baset , parsert , piped_processt , prop_conv_solvert , prop_minimizet , propt , remove_const_function_pointerst , shadow_memoryt , smt2_incremental_decision_proceduret , smt2irept , smt_incremental_dry_run_solvert , smt_piped_solver_processt , symex_target_equationt , taint_analysist
• log_map : goto_inlinet::goto_inline_logt
• log_mapt : goto_inlinet::goto_inline_logt
• log_unwinding() : symex_bmc_incremental_one_loopt
• log_version_and_architecture() : parse_options_baset
• logic : smt2_convt , smt_set_logic_commandt
• logical_and() : constant_interval_exprt
• logical_not() : constant_interval_exprt
• logical_or() : constant_interval_exprt
• logical_shift_right : smt_bit_vector_theoryt
• logical_xor() : constant_interval_exprt
• LONG : c_typecastt , java_bytecode_parse_treet::methodt::verification_type_infot
• long_cnt : ansi_c_convert_typet
• long_double_width : configt::ansi_ct
• long_int_width : configt::ansi_ct
• long_long_int_width : configt::ansi_ct
• LONGDOUBLE : c_typecastt
• LONGLONG : c_typecastt
• 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_kindt : cpp_scopet
• lookup_label() : ansi_c_parsert
• lookup_rec() : cpp_scopet
• lookup_ref() : symbol_table_baset
• lookup_type() : template_mapt
• loop : all_paths_enumeratort , disjunctive_polynomial_accelerationt , enumerating_loop_accelerationt , framet::active_loop_infot , sat_path_enumeratort
• loop_analysis : loop_with_parent_analysis_templatet< T, C >
• loop_analysis_map : path_storaget
• loop_analysist() : loop_analysist< T, C >
• loop_analysist< T, C > : loop_templatet< T, C >
• loop_bound_ : string_refinementt
• 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 : c_wranglert::functiont
• loop_contract_clauset() : c_wranglert::loop_contract_clauset
• loop_contract_config : code_contractst , dfcct
• loop_contracts : functiont
• loop_contracts_clauset() : loop_contracts_clauset
• loop_contracts_synthesizer_baset() : loop_contracts_synthesizer_baset
• loop_counter : acceleration_utilst , disjunctive_polynomial_accelerationt , polynomial_acceleratort , sat_path_enumeratort
• loop_entry_offsets : cext
• loop_entry_values : cext
• loop_havoc_set : cegis_verifiert , code_contractst
• loop_header : all_paths_enumeratort , disjunctive_polynomial_accelerationt , enumerating_loop_accelerationt , sat_path_enumeratort
• loop_id : dfcc_loop_infot , goto_programt
• loop_idt() : loop_idt
• loop_info_map : dfcc_cfg_infot
• loop_instructions : loop_templatet< T, C >
• loop_instructionst : loop_templatet< T, C >
• loop_iterations : framet
• loop_last_stack : goto_program2codet
• loop_last_stackt : goto_program2codet
• loop_limit : solver_optionst
• loop_map : goto_program2codet , loop_analysist< T, C > , unwindsett
• loop_mapt : loop_analysist< T, C > , unwindsett
• loop_names : code_contractst
• loop_number : goto_programt::instructiont , loop_idt
• loop_templatet() : loop_templatet< T, C >
• loop_type : c_wranglert::loop_contract_clauset
• loop_unwind_handlers : symex_bmct
• loop_unwind_handlert : symex_bmct
• loop_with_parent_analysis_templatet() : loop_with_parent_analysis_templatet< T, C >
• loops : event_grapht , goto_program2codet
• loops_info : framet
• loopt : goto_program2codet , havoc_loopst , loop_analysist< T, C >
• lor() : cnft , propt , qbf_bdd_coret
• low : mini_bdd_mgrt::reverse_keyt , mini_bdd_nodet , mini_bddt
• lower() : bit_cast_exprt , bitreverse_exprt , code_gcc_switch_case_ranget , count_leading_zeros_exprt , count_trailing_zeros_exprt , enum_is_in_range_exprt , find_first_set_exprt , interval_templatet< T > , 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 , string_constraintt , widened_ranget
• 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
• lower_set : interval_templatet< T >
• lowlink : grapht< N >::tarjant
• ls_data2instructions() : linker_script_merget
• lselect() : cnft , propt
• lshr_exprt() : lshr_exprt
• lt_or_le() : bv_utilst
• lxor() : cnft , propt