- l -

• label : clause_graph
• last_frame : Trace
• last_in_list : HrcDumperInfo
• last_time : TraceXmlLoader
• LastVisit : Dag_DfsFunctions_t , RbcDfsFunctions
• layer : Prop_Rewriter
• layer2groups : BddEnc
• layer_names : BaseEnc
• layers : BddFsmCache::BddFsmReachable_TAG
• left : node_ptr , clause_graph , avl_node
• legal_state_input : BddFsmCache
• length : Trace
• level2index : BddEnc
• lineno : HrcDumperInfo , HrcNode , node_ptr
• link : node_ptr , string_rec
• list_is_empty : HrcDumperInfo
• load : TraceLoader
• log2phy : BeEnc
• log_idx_capacity : BeEnc
• loopback : TraceVarFrame
• loopback_states : TraceXmlLoader
• low : NodeWalker
• ltl2invar_negate_property : Prop_Rewriter
• ltl_module_base_name : Ltl2SmvPrefixes
• ltl_props : HrcNode