Here is a list of all variables with links to the classes they belong to:
- l -
- l : literalt
- l1_num : renaming::level2t::name_record
- l2CacheSize : cudaDeviceProp
- l_get_cache : smt_solver_baset
- label : code_label2t, jimple_goto, jimple_if, jimple_label
- labels : cbmc_instructiont, goto_convertt::targetst, goto_programt::instructiont
- langmap : language_uit
- language : configt
- language_id : mode_table_et
- last_active_thread : execution_statet
- last_arg : python_list::shallow_push_call
- last_line : parsert
- last_loc : clang_c_convertert
- last_loc_column : clang_c_convertert
- last_loc_filename : clang_c_convertert
- last_loc_function : clang_c_convertert
- last_loc_line : clang_c_convertert
- last_loc_valid : clang_c_convertert
- last_transition : execution_statet
- LD_var : CounterFBNode
- leave_set : goto_convertt::targetst
- leave_stack_size : goto_convertt::targetst
- leave_target : goto_convertt::targetst
- length : BytesDynamic, BytesStatic
- length_modifier : format_tokent
- lev : renaming::level2t::name_record
- level : smt_solver_baset::ptr_flatten_entry, smt_solver_baset::smt_cache_entryt, smt_solver_baset::uf_ackermann_entry, smtlib_convt::symbol_table_rec, symtab_entryt
- level1 : goto_symex_statet::framet
- level1_names : goto_symex_statet::merge_statet
- level1_num : symbol2t
- level2 : goto_symex_statet, goto_symex_statet::merge_statet
- level2_num : symbol2t
- level2_ptr : goto_symex_statet::merge_statet
- lhs : andersent::constraintt, goto_trace_stept, jimple_assignment, jimple_binop, jimple_expr_invoke, jimple_virtual_invoke, sideeffect_assign2t, symex_target_equationt::SSA_stept
- lhs_name : dead_store_advisoryt
- lib : configt::ansi_ct
- lib_prefix : solidity_convertert
- library : property_rowt
- lid : configt::language_stdt
- line : dead_code_finding_t, dead_store_advisoryt, invariant, LdLocation, property_locationt, property_rowt, source_position, waypoint
- line_id : waypoint
- line_location : jimple_ast
- line_no : parsert
- line_width : property_countst
- linearizedBaseList : solidity_convertert
- link : library_load_report
- list : arange_materialize_result
- list_literal_values : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
- list_var_element_classes : preprocessor.module_rewrite_mixin.ModuleRewriteMixin
- listcomp_counter : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
- literal_value_type_hint : python_dict_handler
- live_asts : smt_solver_baset
- live_asts_sizes : smt_solver_baset
- ln2 : logf_data
- lo : clang_c_lexert::LexerContext, ir_ieee_convt::ra_interval_t, ssa_cone_keyt
- loaded : preprocessor.function_value_types._Analysis
- loc : ArithFBNode, CoilNode, ContactNode, CounterFBNode, LdIRNode, LdIRRung, NetworkNode, property_resultt, RungElement, RungNode, TimerFBNode, UserFBInstance, VarDecl
- local_fns : preprocessor.function_value_dispatch._Plan
- local_name : jimple_identity
- local_static_vars : goto2ct
- local_types : goto2ct
- local_variables : goto_symex_statet::framet, goto_symex_statet::merge_statet
- local_vars : UserFBDef, UserFBExec
- locale_name : configt::ansi_ct
- localL1CacheSupported : cudaDeviceProp
- location : cbmc_symbolt, code_asm2t, code_assert2t, code_assign2t, code_assume2t, code_block2t, code_break2t, code_continue2t, code_cpp_catch2t, code_cpp_throw2t, code_decl2t, code_dowhile2t, code_for2t, code_function_call2t, code_goto2t, code_ifthenelse2t, code_label2t, code_printf2t, code_skip2t, code_switch2t, code_switch_case2t, code_while2t, goto_programt::instructiont, if2t, list_elem_info, sideeffect2t, sideeffect_assign2t, symbolt, transition_systemt::propertyt, var_assignment_info
- location_number : andersent::indirect_callt, goto_programt::instructiont, value_sett
- locked : spinlock_t
- logc : logf_data
- long_double_align : configt::ansi_ct
- long_double_width : configt::ansi_ct
- long_int_width : configt::ansi_ct
- long_long_align : configt::ansi_ct
- long_long_int_width : configt::ansi_ct
- lookup : pointer_logict
- loop_contract_data : goto_programt::instructiont
- loop_id_to_func_index : goto_symext
- loop_invariant_havoc : goto_programt::instructiont
- loop_iterations : goto_symex_statet
- loop_number : goto_programt::instructiont, goto_symext::deferred_assumptiont, symex_target_equationt::SSA_stept
- low : transcendental::domain, transcendental::interval
- lower : extract2t, interval_templatet< T >
- lowering : preprocessor.check_type_lowering._CallSites
- ltl_res_uninstrumented : bmct
- ltl_results_seen : bmct
- ltl_uninstrumented : bmct
- lu : exact_lu_factors
- lvalue : symbolt
1.15.0