- d -

• defaultLocation() : gui.InputDialog , gui.SelectionDialog , gui.WarnDialog
• defaultResult() : theoremprover.GenericParser , theoremprover.LogicParser
• defaultScanner() : theoremprover.GenericParser
• defineAdditionalEdgeLines() : utils.GMLGraph
• defineAdditionalNodeLines() : utils.GMLGraph
• delete() : utils.BinarySearchTree
• deleteNode() : utils.BinarySearchTree
• deleteRecursive() : utils.BinarySearchTree
• DelimiterToken() : theoremprover.DelimiterToken
• DENode() : dfengine.DENode
• DescendantIterator() : utils.GraphMatrix.DescendantIterator
• descInconsistent() : dfengine.DENode
• Diagnosis_Client() : Diagnosis_Client
• DiagnosisEnvironments() : dfengine.DiagnosisEnvironments
• DiagnosisProblem() : dfengine.DiagnosisProblem
• directoryChanged() : gui.NewFileDialog
• disconnect_to_Server() : Diagnosis_Client
• displayResult() : dfengine.GuiHittingSets
• displayResults() : dfengine.GuiHittingSets
• doSearch() : dfengine.GuiHittingSets
• DoubleLinkedDAG() : utils.DoubleLinkedDAG
• DoubleLinkedDAGNode() : utils.DoubleLinkedDAGNode
• DoubleLinkedTree() : utils.DoubleLinkedTree
• DoubleLinkedTreeIterator() : utils.DoubleLinkedTreeIterator
• DoubleLinkedTreeNode() : utils.DoubleLinkedTreeNode