- l -

• label : hittingsetalg.HSNode , hittingsetalg.HSNodeFM , theoremprover.Assumption
• last : utils.IntPair , utils.ObjectPair , utils.StringPair
• last_time : Diagnosis_Client
• lastComputeBetaDE : ATPInterface.LogicalDB
• lastDir : dfengine.GuiHittingSets
• lastId : utils.DoubleLinkedTree
• lastMaxDFChainSize : ATPInterface.LogicalDB
• lastMaxExplSize : ATPInterface.LogicalDB
• lastMaxNumExpl : ATPInterface.LogicalDB
• lastMergeDEs : ATPInterface.LogicalDB
• lastUseFaultModes : ATPInterface.LogicalDB
• left : utils.BinarySearchTree.BinarySearchNode , utils.MSortedCollectionNode
• level : utils.TwoDTree
• levels : hittingsetalg.MinHittingSets , hittingsetalg.MinHittingSetsFM
• line : theoremprover.ParseError
• LINE_PREFIX_DE : ATPInterface.ATPConstants
• LINE_PREFIX_DIAG : ATPInterface.ATPConstants
• lineNo : ATPInterface.LogicParseException
• llink : utils.TwoDTree
• LOAD : gui.NewFileDialog