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

- l -

• l1_typest : goto_symex_statet
• label_referencest : statement_list_typecheckt
• labelst : goto_convertt, goto_programt::instructiont
• lambda_method_handle_mapt : java_bytecode_parse_treet::classt
• lambda_method_handlet : java_bytecode_parsert
• lazy_method_mapt : language_filest
• lcfd_ptrt : local_control_flow_decisiont, local_control_flow_historyt< track_forward_jumps, track_backward_jumps >
• leaf_listt : d_containert< keyT, valueT, equalT >, sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >, sharing_nodet< keyT, valueT, equalT >
• leaft : d_containert< keyT, valueT, equalT >, sharing_nodet< keyT, valueT, equalT >
• lexical_loopt : lexical_loops_templatet< P, T, C >
• linest : source_linest
• linker_valuest : linker_script_merget
• list_input_varst : interpretert
• liveness_context_ptrt : liveness_contextt
• loc_infost : local_bitvector_analysist, local_may_aliast
• loc_mapt : local_cfgt
• local_static_declst : dump_ct
• 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
• localization_points_valuet : goto_symex_fault_localizert
• localization_pointst : goto_symex_fault_localizert
• locals_sett : localst
• localst : string_abstractiont
• location_mapt : goto_unwindt::unwind_logt
• 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_mapt : goto_inlinet::goto_inline_logt
• loop_instructionst : loop_templatet< T, C >
• loop_last_stackt : goto_program2codet
• loop_mapt : loop_analysist< T, C >, unwindsett
• loop_unwind_handlert : symex_bmct
• loopt : goto_program2codet, havoc_loopst, loop_analysist< T, C >