A B C D E F G H I J K L M N O P R S T U V W X _

T

TAB_WIDTH - Variable in class org.eclipse.palamedes.ui.pages.knowledgebase.KBLabelProvider

TermAdapter - Class in org.eclipse.palamedes.gdl.core.resolver.javaprover

TermAdapter(Expression) - Constructor for class org.eclipse.palamedes.gdl.core.resolver.javaprover.TermAdapter

TermAdapter - Class in org.eclipse.palamedes.gdl.core.resolver.jocular

TermAdapter(SymbolTable, Term) - Constructor for class org.eclipse.palamedes.gdl.core.resolver.jocular.TermAdapter

TermAdapter - Class in org.eclipse.palamedes.gdl.core.resolver.prologprover

TermAdapter(CompoundTerm) - Constructor for class org.eclipse.palamedes.gdl.core.resolver.prologprover.TermAdapter

TermDelegator<NativeTerm> - Class in org.eclipse.palamedes.gdl.core.model.utils

TermDelegator(TermWrapper<NativeTerm>) - Constructor for class org.eclipse.palamedes.gdl.core.model.utils.TermDelegator

termwrapper - Variable in class org.eclipse.palamedes.gdl.core.model.utils.TermDelegator

TermWrapper<NativeTerm> - Class in org.eclipse.palamedes.gdl.core.model.utils

TermWrapper(NativeTerm) - Constructor for class org.eclipse.palamedes.gdl.core.model.utils.TermWrapper

testMoveComparision() - Method in class org.eclipse.palamedes.gdl.core.model.utils.IMoveTest

testPlayMessage() - Method in class org.eclipse.palamedes.gdl.connection.MessageTest

testSplitMoveString() - Method in class org.eclipse.palamedes.gdl.connection.MessageTest

testStartMessage() - Method in class org.eclipse.palamedes.gdl.connection.MessageTest

testStopMessage() - Method in class org.eclipse.palamedes.gdl.connection.MessageTest

TextHover - Class in org.eclipse.palamedes.ui.editor.sourcecode

TextHover() - Constructor for class org.eclipse.palamedes.ui.editor.sourcecode.TextHover

TimerFlag - Class in org.eclipse.palamedes.gdl.core.simulation

TimerFlag() - Constructor for class org.eclipse.palamedes.gdl.core.simulation.TimerFlag

TimerThread - Class in org.eclipse.palamedes.gdl.core.simulation

The MatchTimer class stops the search for legal moves after the specified time.

TimerThread(TimerFlag) - Constructor for class org.eclipse.palamedes.gdl.core.simulation.TimerThread

toDefaultString(ASTNode) - Static method in class org.eclipse.palamedes.kif.core.ast.visitor.NotationWriter

toDefaultString(KIFSeq<? extends ASTNode>) - Static method in class org.eclipse.palamedes.kif.core.ast.visitor.NotationWriter

toDefaultString(KIFSeq<? extends ASTNode>, String) - Static method in class org.eclipse.palamedes.kif.core.ast.visitor.NotationWriter

toGdlString(Object) - Method in class org.eclipse.palamedes.gdl.core.resolver.prologprover.EclipseConnector

toggleOff() - Method in class org.eclipse.palamedes.ui.actions.HideOnFlagsAction

toggleOff() - Method in class org.eclipse.palamedes.ui.actions.PersistentToggleAction

toggleOff(int) - Method in class org.eclipse.palamedes.ui.pages.knowledgebase.KBTreeContentProvider

toggleOn() - Method in class org.eclipse.palamedes.ui.actions.HideOnFlagsAction

toggleOn() - Method in class org.eclipse.palamedes.ui.actions.PersistentToggleAction

toggleOn(int) - Method in class org.eclipse.palamedes.ui.pages.knowledgebase.KBTreeContentProvider

toString() - Method in class org.eclipse.palamedes.gdl.connection.Message

toString() - Method in interface org.eclipse.palamedes.gdl.core.model.IMove

toString() - Method in class org.eclipse.palamedes.gdl.core.model.utils.GameNode

toString() - Method in class org.eclipse.palamedes.gdl.core.model.utils.GameNodeTree

toString() - Method in class org.eclipse.palamedes.gdl.core.model.utils.GenericMove

toString() - Method in class org.eclipse.palamedes.gdl.core.model.utils.TermDelegator

toString() - Method in class org.eclipse.palamedes.gdl.core.model.utils.TermWrapper

toString() - Method in class org.eclipse.palamedes.gdl.core.resolver.javaprover.StateAdapter

toString() - Method in class org.eclipse.palamedes.kif.core.ast.ASTNode

toString() - Method in class org.eclipse.palamedes.kif.core.ast.KIFComment

toString() - Method in class org.eclipse.palamedes.kif.core.ast.KIFForm

toString() - Method in class org.eclipse.palamedes.kif.core.ast.KIFImplication

toString() - Method in class org.eclipse.palamedes.kif.core.ast.KIFIndVar

toString() - Method in class org.eclipse.palamedes.kif.core.ast.KIFLogConst

toString() - Method in class org.eclipse.palamedes.kif.core.ast.KIFNegation

toString() - Method in class org.eclipse.palamedes.kif.core.ast.KIFOperator

toString() - Method in class org.eclipse.palamedes.kif.core.ast.KIFRelSent

toString() - Method in class org.eclipse.palamedes.kif.core.ast.KIFSeq

toString(KIFSeq<? extends ASTNode>) - Method in class org.eclipse.palamedes.kif.core.ast.visitor.NotationWriter

toString(KIFSeq<? extends ASTNode>, String) - Method in class org.eclipse.palamedes.kif.core.ast.visitor.NotationWriter

toString(ASTNode) - Method in class org.eclipse.palamedes.kif.core.ast.visitor.NotationWriter

toString() - Method in class org.eclipse.palamedes.kif.core.knowledgebase.KBEntry

toString() - Method in class org.eclipse.palamedes.kif.core.knowledgebase.KnowledgeBase

toString() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.model.BasicNodeModel

toString() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.model.ComplexNodeModel

toString(IGameNode) - Static method in class org.eclipse.palamedes.ui.utils.SFactory

toString(IGameState) - Static method in class org.eclipse.palamedes.ui.utils.SFactory

Returns the string representation of a IGameState object.

toString(List<IMove>) - Static method in class org.eclipse.palamedes.ui.utils.SFactory

toString(IMove[]) - Static method in class org.eclipse.palamedes.ui.utils.SFactory

toString(Object) - Static method in class org.eclipse.palamedes.ui.utils.SFactory

traverse(ASTVisitor) - Method in class org.eclipse.palamedes.kif.core.ast.ASTNode

traverse(ASTVisitor) - Method in class org.eclipse.palamedes.kif.core.ast.KIFComment

traverse(ASTVisitor) - Method in class org.eclipse.palamedes.kif.core.ast.KIFConjunction

traverse(ASTVisitor) - Method in class org.eclipse.palamedes.kif.core.ast.KIFDisjunction

traverse(ASTVisitor) - Method in class org.eclipse.palamedes.kif.core.ast.KIFForm

traverse(ASTVisitor) - Method in class org.eclipse.palamedes.kif.core.ast.KIFFunTerm

traverse(ASTVisitor) - Method in class org.eclipse.palamedes.kif.core.ast.KIFImplication

traverse(ASTVisitor) - Method in class org.eclipse.palamedes.kif.core.ast.KIFIndVar

traverse(ASTVisitor) - Method in class org.eclipse.palamedes.kif.core.ast.KIFLogConst

traverse(ASTVisitor) - Method in class org.eclipse.palamedes.kif.core.ast.KIFNegation

traverse(ASTVisitor) - Method in class org.eclipse.palamedes.kif.core.ast.KIFObjConst

traverse(ASTVisitor) - Method in class org.eclipse.palamedes.kif.core.ast.KIFOperator

traverse(ASTVisitor) - Method in class org.eclipse.palamedes.kif.core.ast.KIFRelSent

tree - Variable in class org.eclipse.palamedes.gdl.core.model.utils.Game

Game class protected stuff

TreeNode - Class in org.eclipse.palamedes.ui.pages.game

TreeNode(String, Object) - Constructor for class org.eclipse.palamedes.ui.pages.game.TreeNode

TreeNode - Class in org.eclipse.palamedes.ui.pages.knowledgebase

TreeNode(String, Object) - Constructor for class org.eclipse.palamedes.ui.pages.knowledgebase.TreeNode

True - Class in org.eclipse.palamedes.gdl.core.ast