- l -
- l1_historyt
: goto_symex_statet
- l1_typest
: goto_symex_statet
- labelst
: goto_convertt
, goto_program_templatet< codeT, guardT >::instructiont
- lazy_method_mapt
: language_filest
- let_count_idt
: smt2_convt
- let_valuest
: mm2cppt
- literal_mapt
: boolbv_mapt
- loc_infost
: local_bitvector_analysist
, local_may_aliast
- loc_mapt
: local_cfgt
- loc_vectort
: locst
- local_objectst
: goto_symex_statet::framet
- 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
- locals_mapt
: localst
- localst
: string_abstractiont
- location_mapt
: goto_unwindt::unwind_logt
- locationt
: ai_baset
, ai_domain_baset
, ait< domainT >
, domain_baset
, flow_insensitive_abstract_domain_baset
, flow_insensitive_analysis_baset
, flow_insensitive_analysist< T >
, static_analysis_baset
, static_analysist< T >
- log_mapt
: goto_inlinet::goto_inline_logt
- loop_iterationst
: goto_symex_statet::framet
- loop_last_stackt
: goto_program2codet
- loop_limitst
: symex_bmct
- loop_mapt
: natural_loops_templatet< P, T >
- loopt
: goto_program2codet
, havoc_loopst
- lpoints_mapt
: fault_localizationt
- lpoints_valuet
: fault_localizationt
- lpointst
: fault_localizationt