Here is a list of all variables 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
- l2_indices : path_storaget
- label : mini_bdd_mgrt::var_table_entryt
- label_references : statement_list_typecheckt
- 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
- language : language_filet
- language_files : lazy_goto_functions_mapt, lazy_goto_modelt
- language_mode : goto_symext, value_set_dereferencet
- language_options : java_bytecode_languaget
- last_declarator : ansi_c_scopet
- last_line : parsert
- last_path : all_paths_enumeratort
- last_peeked : path_lifot
- last_source_location : symex_bmct
- last_write_context : vsd_configt
- last_written_locations : write_location_contextt
- lazy : arrayst::lazy_constraintt
- lazy_array_constraints : arrayst
- lazy_arrays : arrayst
- lazy_method_map : language_filest
- lazy_methods_extra_entry_points : ci_lazy_methodst
- lazy_methods_mode : java_bytecode_language_optionst
- lb : boundst
- 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_node : goto_convertt::leave_targett, goto_convertt::targetst
- leave_target : goto_convertt::leave_targett, goto_convertt::targetst
- left : left_and_right_valuest
- left_depth_below_common_ancestor : ancestry_resultt
- 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_id_count : letifyt
- let_symbol : letifyt::let_count_idt
- letify : smt2_convt
- level1 : goto_symex_statet
- level2 : goto_statet
- levels : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
- lex : Parser
- lhs : assignmentt, left_and_right_valuest
- lib : configt::ansi_ct
- libraries : compilet
- library_paths : compilet
- lifetime : goto_convertt, symbol_factoryt
- 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
- 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, code_with_references_listt
- list_count : __CPROVER_jsa_abstract_heap
- list_head_nodes : __CPROVER_jsa_abstract_heap
- list_memory_usage : string_container_statisticst
- list_only : show_goto_functions_jsont, show_goto_functions_xmlt
- literal_map : boolbv_mapt::map_entryt
- literals : solver_hardnesst::sat_hardnesst
- little_endian : elf_readert
- liveness : vsd_configt
- 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_map : local_cfgt
- local : abstract_eventt
- local_bitvector_analysis : goto_check_ct, goto_check_javat
- local_map : interpretert::stack_framet
- local_may_alias : havoc_loopst, k_inductiont
- local_may_alias_factory : custom_bitvector_analysist
- local_objects : framet
- local_static : goto_program2codet
- local_static_set : goto_program2codet
- local_variable_table : java_bytecode_parse_treet::methodt
- locals : cfg_infot, java_bytecode_parse_treet::methodt::stack_map_table_entryt, local_bitvector_analysist, local_may_aliast, localst, string_abstractiont
- location : conversion_dependenciest, default_trace_stept, location_update_visitort, merge_location_update_visitort, symbolt, symex_coveraget::coverage_infot
- location_map : goto_unwindt::unwind_logt
- location_number : goto_programt::instructiont, memory_snapshot_harness_generatort::entry_goto_locationt, value_sett
- log : arrayst, bv_minimizet, bv_minimizing_dect, code_contractst, compilet, complexity_limitert, counterexample_beautificationt, function_name_manglert< MangleFun >, functions_in_scope_visitort, gdb_apit, goto_check_ct, goto_check_javat, goto_inlinet, goto_symext, goto_verifiert, incremental_goto_checkert, insert_final_assert_falset, instrument_spec_assignst, is_fresh_baset, java_bytecode_convert_classt, java_bytecode_convert_methodt, java_class_loader_limitt, java_object_factoryt, linker_script_merget, osx_fat_readert, osx_mach_o_readert, parse_options_baset, prop_conv_solvert, prop_minimizet, propt, remove_const_function_pointerst, smt2_incremental_decision_proceduret, smt2irept, smt_piped_solver_processt, symex_target_equationt, taint_analysist, value_set_dereferencet
- log_map : goto_inlinet::goto_inline_logt
- logic : smt2_convt
- 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
- 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 >
- loop_analysis_map : path_storaget
- loop_analysist< T > : loop_templatet< T >
- 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_instructions : loop_templatet< T >
- loop_invariants : c_wranglert::functiont
- loop_iterations : framet
- loop_last_stack : goto_program2codet
- loop_map : goto_program2codet, loop_analysist< T >, unwindsett
- loop_number : goto_programt::instructiont
- loop_type : c_wranglert::loop_invariantt
- loop_unwind_handlers : symex_bmct
- loops : event_grapht, goto_program2codet
- loops_info : framet
- low : mini_bdd_mgrt::reverse_keyt, mini_bdd_nodet
- lower : interval_templatet< T >
- lower_bound : string_constraintt, widened_ranget
- lower_set : interval_templatet< T >
- lowlink : grapht< N >::tarjant