- l -
- l
: arrayst::array_equalityt
, boolbv_mapt::map_bitt
, boolbvt::quantifiert
, literalt
- l1_history
: goto_symex_statet
- l1_types
: goto_symex_statet
- label
: mini_bdd_mgrt::var_table_entryt
- labels
: goto_convertt::targetst
, goto_programt::instructiont
- labels_defined
: c_typecheck_baset
- labels_in_use
: goto_program2codet
- labels_used
: c_typecheck_baset
- lambda_method_handle_map
: java_bytecode_parse_treet::classt
- lambda_method_name
: java_bytecode_parse_treet::classt::lambda_method_handlet
- lambda_method_ref
: java_bytecode_parse_treet::classt::lambda_method_handlet
- language
: dump_ct
, language_filet
- language_files
: language_uit
, lazy_goto_functions_mapt
, lazy_goto_modelt
- language_mode
: goto_symext
, value_set_dereferencet
- language_options_initialized
: languaget
- languages2
: goto_diff_parse_optionst
, jdiff_parse_optionst
- last_declarator
: ansi_c_scopet
- last_line
: parsert
- last_path
: all_paths_enumeratort
- last_peeked
: path_lifot
- last_source_location
: symex_bmct
- lazy
: arrayst::lazy_constraintt
- lazy_array_constraints
: arrayst
- lazy_arrays
: arrayst
- lazy_method_map
: language_filest
- lazy_methods_extra_entry_points
: ci_lazy_methodst
, java_bytecode_languaget
- lazy_methods_mode
: java_bytecode_languaget
- lcnf_bv
: propt
- le_set
: invariant_sett
- leaf
: java_bytecode_convert_methodt::block_tree_nodet
- leave_set
: goto_convertt::leave_targett
, goto_convertt::targetst
- leave_stack_size
: goto_convertt::leave_targett
, goto_convertt::targetst
- leave_target
: goto_convertt::leave_targett
, goto_convertt::targetst
- lemmas
: string_constraint_generatort
- len
: string_ptrt
- length
: java_bytecode_convert_methodt::holet
, java_bytecode_convert_methodt::variablet
, java_bytecode_parse_treet::methodt::local_variablet
- length_modifier
: format_tokent
- length_of_array
: array_poolt
- LET_COUNT
: smt2_convt
- let_id_count
: smt2_convt
- let_map
: smt2_convt::let_visitort
- let_symbol
: smt2_convt::let_count_idt
- let_values
: mm2cppt
- level0
: goto_symex_statet
- level1
: goto_symex_statet
- level2
: goto_symex_statet
- level2_current_names
: goto_symex_statet::goto_statet
- lex
: Parser
- lhs_object
: goto_trace_stept
- lhs_object_value
: goto_trace_stept
- lib
: configt::ansi_ct
- libraries
: compilet
- library_paths
: compilet
- line
: invariant_failedt
, xml_graph_nodet
- line_no
: cpp_tokent
, parsert
- line_number
: document_propertiest::linet
- LINE_SEPARATOR
: string_constraint_generatort::format_specifiert
- lines
: cover_basic_blockst::block_infot
- lines_covered
: coverage_recordt
- lines_total
: coverage_recordt
- linkage_spec
: cpp_declarator_convertert
- list
: __CPROVER_jsa_abstract_node
, __CPROVER_jsa_concrete_node
, __CPROVER_jsa_iterator
- list_count
: __CPROVER_jsa_abstract_heap
- list_head_nodes
: __CPROVER_jsa_abstract_heap
- list_only
: show_goto_functions_jsont
, show_goto_functions_xmlt
- literal_map
: boolbv_mapt::map_entryt
- little_endian
: elf_readert
- loading_successful
: java_bytecode_parse_treet
- loc
: datat
, java_object_factoryt
, path_nodet
, symbol_factoryt
- loc_infos
: local_bitvector_analysist
, local_may_aliast
- loc_map
: local_cfgt
- local
: abstract_eventt
- local_bitvector_analysis
: goto_checkt
- local_map
: interpretert::stack_framet
- local_may_alias
: havoc_loopst
, k_inductiont
- local_may_alias_factory
: custom_bitvector_analysist
- local_objects
: goto_symex_statet::framet
- local_static
: goto_program2codet
- local_static_set
: goto_program2codet
- local_variable_table
: java_bytecode_parse_treet::methodt
- locals
: java_bytecode_parse_treet::methodt::stack_map_table_entryt
, local_bitvector_analysist
, local_may_aliast
, string_abstractiont
- locals_map
: localst
- location
: conversion_dependenciest
, property_checkert::property_statust
, symbolt
, symex_coveraget::coverage_infot
- location_map
: goto_unwindt::unwind_logt
- location_number
: goto_programt::instructiont
, value_sett
- log
: goto_symext
- log_map
: goto_inlinet::goto_inline_logt
- logic
: smt2_convt
- long_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- long_double_width
: configt::ansi_ct
- long_int_width
: configt::ansi_ct
- long_long_int_width
: configt::ansi_ct
- loop
: all_paths_enumeratort
, disjunctive_polynomial_accelerationt
, enumerating_loop_accelerationt
, sat_path_enumeratort
- loop_bound_
: string_refinementt
- loop_counter
: acceleration_utilst
, disjunctive_polynomial_accelerationt
, polynomial_acceleratort
, sat_path_enumeratort
- loop_header
: all_paths_enumeratort
, disjunctive_polynomial_accelerationt
, enumerating_loop_accelerationt
, sat_path_enumeratort
- loop_iterations
: goto_symex_statet::framet
- loop_last_stack
: goto_program2codet
- loop_map
: goto_program2codet
, natural_loops_templatet< P, T >
, unwindsett
- loop_number
: goto_programt::instructiont
- loop_unwind_handlers
: symex_bmct
- loops
: event_grapht
, goto_program2codet
- low
: mini_bdd_mgrt::reverse_keyt
, mini_bdd_nodet
- lower
: interval_templatet< T >
- lower_bound
: string_constraintt
- lower_set
: interval_templatet< T >
- lowlink
: grapht< N >::tarjant
- lpoints_map
: fault_localizationt