- g -

• generateAllBetaDescendants() : dfengine.DiagnosisEnvironments
• generateEdgeProps() : utils.GMLGraph
• generateFrom() : utils.GMLGraph
• generateNodeProps() : utils.GMLGraph
• generatePropNegationAxioms() : dfengine.GuiHittingSets
• GenericParser() : theoremprover.GenericParser
• GenericScanner() : theoremprover.GenericScanner
• GenericToken() : theoremprover.GenericToken
• get() : utils.TwoDTree
• getAll() : utils.TwoDTree
• getAncestorIterator() : utils.DoubleLinkedDAG , utils.GraphMatrix
• getAntecedence() : theoremprover.Assumption
• getAssAB() : dfengine.DiagnosisProblem
• getAssDF() : dfengine.DiagnosisProblem
• getAssIF() : dfengine.DiagnosisProblem
• getAssNAB() : dfengine.DiagnosisProblem
• getAssumption() : dfengine.Mode , theoremprover.IllegalAssumption
• getAssumptions() : theoremprover.ABTheoremProver
• getCandidatesOfSize() : dfengine.RepairCandidates
• getCapacity() : utils.BinaryHeap
• getChildren() : utils.DoubleLinkedDAGNode , utils.DoubleLinkedTreeNode
• getChildrenIterator() : utils.DoubleLinkedDAGNode , utils.DoubleLinkedTreeNode
• getCOMP() : Diagnosis_Client
• getComponent() : dfengine.FailureDepNode , dfengine.Mode
• getComponents() : dfengine.DiagnosisProblem , dfengine.ModeAssignment
• getConflictsAsAss() : hittingsetalg.MinHittingSets , hittingsetalg.MinHittingSetsFM
• getConflictSet() : dfengine.DENode , theoremprover.ABTheoremProver
• getConnections() : ATPInterface.Session
• getConstCompModes() : dfengine.DENode
• getConstraintsForCell() : dfengine.SpringUtilities
• getDB() : ATPInterface.Session
• getDescendantIterator() : utils.DoubleLinkedDAG , utils.GraphMatrix
• getDirectory() : gui.NewFileDialog
• getDistanceToRoot() : dfengine.DENode
• getEdgeIterator() : utils.GraphMatrix
• getFailurePred() : dfengine.ModeAssignmentDAGNode
• getFDG() : dfengine.DiagnosisProblem
• getFDNode() : dfengine.Component
• getFile() : gui.NewFileDialog
• getFilenameFilter() : gui.NewFileDialog
• getFirstInt() : utils.SortedIntList
• getFirstParent() : utils.DoubleLinkedDAGNode
• getGMLCode() : utils.GMLGraph
• getId() : utils.DoubleLinkedTreeNode
• getID() : dfengine.Component , utils.DoubleLinkedDAGNode
• getIdentifier() : theoremprover.Assumption
• getIntTag() : theoremprover.Assumption
• getLabel() : theoremprover.PropositionInterface , utils.GMLNode , theoremprover.Assumption
• getLastInt() : utils.SortedIntList
• getLine() : theoremprover.ParseError
• getLineNo() : ATPInterface.LogicParseException
• getMaDag() : dfengine.ModeAssignment
• getMinHS() : hittingsetalg.MinHittingSets , hittingsetalg.MinHittingSetsFM
• getMinHSAsIntLists() : hittingsetalg.MinHittingSets
• getMinNumIF() : dfengine.DENode
• getMode() : dfengine.ModeAssignment , dfengine.Component , dfengine.ModeAssignment , gui.NewFileDialog
• getModeAB() : dfengine.Component
• getModeAssignment() : dfengine.DENode
• getModeDF() : dfengine.Component
• getModeIF() : dfengine.Component
• getModeIterator() : dfengine.ModeAssignment
• getModeNAB() : dfengine.Component
• getModeProb() : dfengine.DiagnosisEnvironments
• getModesDF() : dfengine.Component
• getName() : ATPInterface.Session , dfengine.Component , ATPInterface.LogicalSubDB
• getNegPrefix() : dfengine.GuiHittingSets
• getNextChar() : theoremprover.GenericScanner
• getNode() : utils.TwoDTree , dfengine.RepairOrderDAG , utils.DoubleLinkedDAG , dfengine.ModeAssignment , utils.TwoDTree
• getNodes() : utils.DoubleLinkedDAG
• getNumEdges() : utils.DoubleLinkedDAG , utils.GraphMatrix
• getNumIF() : dfengine.DENode
• getNumNodes() : utils.DoubleLinkedDAG , utils.GraphMatrix
• getNumPFCs() : dfengine.ModeAssignment
• getNumRules() : ATPInterface.LogicalSubDB
• getNumSFCs() : dfengine.ModeAssignment
• getNumSubDBs() : ATPInterface.LogicalDB
• getOBS() : dfengine.DiagnosisProblem
• getParent() : dfengine.Mode , utils.DoubleLinkedTreeNode
• getParents() : utils.DoubleLinkedDAGNode
• getParentsIterator() : utils.DoubleLinkedDAGNode
• getProbDF() : dfengine.FailureDepNode
• getProbIF() : dfengine.Component
• getRootNode() : dfengine.DENode
• getRulesAsLSentence() : ATPInterface.LogicalSubDB
• getRulesAsStrings() : ATPInterface.LogicalSubDB
• getSD() : dfengine.DiagnosisProblem
• getSDD() : dfengine.DiagnosisProblem
• getStr() : dfengine.ToStringVisitor , utils.AddNodeAsStringVisitor
• getSubDBNumRules() : ATPInterface.LogicalDB , ATPInterface.LogicalDBInterface
• getSubDBRules() : ATPInterface.LogicalDB , ATPInterface.LogicalDBInterface
• getTag() : utils.GraphMatrix
• getTotalNumRules() : ATPInterface.LogicalDB , ATPInterface.LogicalDBInterface
• getTransitiveClosure() : dfengine.RepairOrderDAG
• getType() : dfengine.DENode , dfengine.Mode
• getTypeAsString() : dfengine.DENode
• getUnexpandedAlphaNodes() : dfengine.DEGraph
• GraphMatrix() : utils.GraphMatrix
• greater() : utils.MSortedInteger , utils.MSortedElementInterface
• GuiHittingSets() : dfengine.GuiHittingSets