- t -

• TAB_FDG : dfengine.GuiHittingSets
• TAB_LOG_MODEL : dfengine.GuiHittingSets
• tabbedPane : dfengine.GuiHittingSets
• tags : utils.GraphMatrix
• tail : theoremprover.LRule
• textHolder : gui.InputDialog
• theoremProver : dfengine.DiagnosisEnvironments , hittingsetalg.MinHittingSets , hittingsetalg.MinHittingSetsFM , ATPInterface.LogicalSubDB
• this_time : Diagnosis_Client
• time_counter : Diagnosis_Client
• TITLE_RESULTS : dfengine.GuiHittingSets
• to : utils.GraphMatrix.EdgeIterator , utils.GraphMatrix.Edge
• topNode : utils.MSortedCollection
• totalDB : ATPInterface.LogicalDB
• transClosure : dfengine.RepairOrderDAG
• type : dfengine.DENode , dfengine.Mode , utils.ConditionVisitor
• TYPE_ALPHA : dfengine.DENode
• TYPE_BETA : dfengine.DENode
• TYPE_CONJUNCTION : utils.ConditionVisitor
• TYPE_DISJUNCTION : utils.ConditionVisitor