- a -

• ab : hittingsetalg.Component
• abComps : hittingsetalg.ConflictSet
• abLabel : dfengine.GuiHittingSets
• activeRule : theoremprover.Proposition
• actualToken : theoremprover.GenericParser
• additionalEdgeLines : utils.GMLGraph
• additionalNodeLines : utils.GMLGraph
• allNodes : utils.DoubleLinkedDAGNode
• antecedence : theoremprover.Assumption , theoremprover.PropositionalRule
• arguments : theoremprover.LFunction , theoremprover.LPredicate
• ASS_IF : dfengine.GuiHittingSets
• assAB : dfengine.DiagnosisProblem
• assABText : dfengine.GuiHittingSets
• assDF : dfengine.DiagnosisProblem
• assDFText : dfengine.GuiHittingSets
• assIF : dfengine.DiagnosisProblem
• assNAB : dfengine.DiagnosisProblem
• assNABText : dfengine.GuiHittingSets
• assName : dfengine.SplittedAssumption
• assumption : theoremprover.IllegalAssumption , dfengine.Mode
• assumptions : hittingsetalg.MinHittingSets , theoremprover.ABTheoremProver , dfengine.DiagnosisEnvironments
• attemptedPruneNode : hittingsetalg.MinHittingSets , hittingsetalg.MinHittingSetsFM
• AUTO_COMMENT_PREFIX : dfengine.GuiHittingSets