- n -

• nab : hittingsetalg.Component
• nabComps : hittingsetalg.ConflictSet
• nabLabel : dfengine.GuiHittingSets
• name : ATPInterface.LogicalSubDB , hittingsetalg.Component , ATPInterface.Session , ATPInterface.SubDBStat , dfengine.Component
• neg_prefix : Diagnosis_Client
• negPrefixText : dfengine.GuiHittingSets
• next : dfengine.ModeAssignment.ModeIterator , utils.BinaryHeap.BinaryHeapIterator , utils.GraphMatrix.EdgeIterator
• nextAnc : utils.GraphMatrix.AncestorIterator
• nextCand : dfengine.RepairCandidates.RepairCandidatesIterator
• nextChar : theoremprover.GenericScanner
• nextDesc : utils.GraphMatrix.DescendantIterator
• nextNode : utils.DoubleLinkedTreeIterator
• nh_ : Diagnosis_Client
• no_of_obs : Diagnosis_Client
• no_of_props : Diagnosis_Client
• no_of_rules : Diagnosis_Client
• node : dfengine.ModeAssignment.ModeNodePair , hittingsetalg.EdgeNodePair , hittingsetalg.EdgeNodePairFM
• NODE_FOOTER : utils.GMLGraph
• NODE_HEADER : utils.GMLGraph
• nodeLines : utils.GMLGraph
• nodeMarks : utils.DoubleLinkedDAG
• nodes : utils.DoubleLinkedDAG
• nodesOnRight : utils.DoubleLinkedTreeIterator
• nodesVisited : utils.DoubleLinkedDAG
• NUM_FALSE_RULES : Diagnosis_Client
• NUM_SUBDBS : ATPInterface.ATPConstants
• numAlphaNodes : dfengine.DiagnosisEnvironments.ComputationStat
• numAlreadyExists : dfengine.DiagnosisEnvironments.ComputationStat
• numBetaNodes : dfengine.DiagnosisEnvironments.ComputationStat
• numConflicting : dfengine.DiagnosisEnvironments.ComputationStat
• numDescInconsistent : dfengine.DiagnosisEnvironments.ComputationStat
• numDFChainTooLong : dfengine.DiagnosisEnvironments.ComputationStat
• numDiscaredOrderPerms : dfengine.DiagnosisEnvironments.ComputationStat
• numEdges : ATPInterface.FDGStat , utils.DoubleLinkedDAG , utils.GraphMatrix
• numExpansions : hittingsetalg.MinHittingSetsFM
• numExplText : dfengine.GuiHittingSets
• numIF : dfengine.DENode
• numImpliedByRC : dfengine.DiagnosisEnvironments.ComputationStat
• numMinimal : dfengine.DiagnosisEnvironments.ComputationStat
• numMinimal_Alpha : dfengine.DiagnosisEnvironments.ComputationStat
• numMinimal_Beta : dfengine.DiagnosisEnvironments.ComputationStat
• numNodes : utils.GraphMatrix , dfengine.DiagnosisEnvironments.ComputationStat , ATPInterface.FDGStat
• numPrunings : hittingsetalg.MinHittingSetsFM
• numReuses : hittingsetalg.MinHittingSetsFM
• numRules : ATPInterface.LogicalSubDB , ATPInterface.SubDBStat
• numTPCalls : hittingsetalg.MinHittingSetsFM , dfengine.DiagnosisEnvironments.ComputationStat
• numTPCalls_Alpha : dfengine.DiagnosisEnvironments.ComputationStat
• numTPCalls_Beta : dfengine.DiagnosisEnvironments.ComputationStat