- i -

• IdentifierToken() : theoremprover.IdentifierToken
• IllegalAssumption() : theoremprover.IllegalAssumption
• IllegalUserInput() : dfengine.IllegalUserInput
• impliesOrderOf() : dfengine.RepairCandidate
• includeInGMLCode() : utils.GMLNode
• incrementCapacity() : utils.BinaryHeap
• info() : utils.TwoDTree
• initComponents() : dfengine.DiagnosisEnvironments
• initComputation() : dfengine.DiagnosisEnvironments
• initFromFDG() : dfengine.Component
• initialize() : theoremprover.GenericScanner , utils.TwoDTree
• initSource() : theoremprover.GenericScanner
• initTags() : utils.GraphMatrix
• initTheoremProver() : dfengine.DiagnosisEnvironments
• InputDialog() : gui.InputDialog
• integer() : gui.NumberDialog
• IntegerIterator() : utils.DoubleLinkedDAG.IntegerIterator
• IntegerToken() : theoremprover.IntegerToken
• intersection() : utils.SortedIntList
• intersects() : utils.SortedIntList
• IntPair() : utils.IntPair
• intValue() : utils.MSortedInteger
• invariant() : utils.BinaryHeap , utils.BinarySearchTree.BinarySearchNode , utils.BinarySearchTree , utils.SortedIntList , dfengine.DEGraph , dfengine.DENode , dfengine.ModeAssignment , dfengine.ModeAssignmentDAG , dfengine.ModeAssignmentDAGNode , dfengine.RepairOrderDAG , dfengine.RepairOrderDAGNode , utils.BinaryHeap
• invariantRecursive() : utils.BinarySearchTree
• isAncestor() : utils.DoubleLinkedDAG
• isAncestorConnected() : dfengine.FailureDepGraph
• isAncestorConnected_Impl() : dfengine.FailureDepGraph
• isAssumption() : theoremprover.Assumption , theoremprover.Proposition
• isCharacter() : theoremprover.CharacterToken , theoremprover.GenericToken
• isCommentLine() : dfengine.GuiHittingSets
• isConsistent() : theoremprover.PropositionalTheoremProver
• isDelimiter() : theoremprover.GenericScanner , theoremprover.GenericToken , theoremprover.DelimiterToken
• isEndOfInput() : theoremprover.GenericScanner
• isEOI() : theoremprover.EOIToken , theoremprover.GenericToken
• isErrorToken() : theoremprover.GenericToken , theoremprover.ErrorToken
• isFloat() : theoremprover.FloatToken , theoremprover.GenericToken
• isIdentifier() : theoremprover.GenericToken , theoremprover.IdentifierToken
• isInteger() : theoremprover.GenericToken , theoremprover.IntegerToken
• isKeyword() : theoremprover.KeywordToken , theoremprover.GenericToken
• isLeaf() : utils.BinarySearchTree.BinarySearchNode
• isLeafNode() : utils.DoubleLinkedTreeNode , utils.TwoDTree
• isSorted() : utils.SortedIntList
• isString() : theoremprover.StringToken , theoremprover.GenericToken
• isTopNode() : utils.TwoDTree
• itemSelected() : gui.NewFileDialog
• itemStateChanged() : dfengine.GuiHittingSets
• iterator() : utils.BinaryHeap , utils.DoubleLinkedTree , dfengine.RepairCandidates , utils.DoubleLinkedDAG , dfengine.ConflictSets , dfengine.ModeAssignment , utils.DoubleLinkedTree