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

G

Game - Class in org.eclipse.palamedes.gdl.core.model.utils
 
Game() - Constructor for class org.eclipse.palamedes.gdl.core.model.utils.Game
 
game - Variable in class org.eclipse.palamedes.gdl.core.simulation.strategies.AbstractStrategy
 
game - Variable in class org.eclipse.palamedes.ui.editor.gametree.GameTreeContentProvider
 
GameContentOutlinePage - Class in org.eclipse.palamedes.ui.pages.game
 
GameContentOutlinePage(IDocumentProvider, SourceCodeEditor) - Constructor for class org.eclipse.palamedes.ui.pages.game.GameContentOutlinePage
 
GameFactory - Class in org.eclipse.palamedes.gdl.core.model
The GameFactory class is responsible for loading and creating games from all kind of sources with the reasoner of choice.
GameFactoryTest - Class in org.eclipse.palamedes.gdl.core.model
 
GameFactoryTest() - Constructor for class org.eclipse.palamedes.gdl.core.model.GameFactoryTest
 
gameFiles - Static variable in class org.eclipse.palamedes.gdl.core.model.GameFactoryTest
 
GameJocular - Class in org.eclipse.palamedes.gdl.core.resolver.jocular
 
GameJocular() - Constructor for class org.eclipse.palamedes.gdl.core.resolver.jocular.GameJocular
 
GameJP - Class in org.eclipse.palamedes.gdl.core.resolver.javaprover
 
GameJP() - Constructor for class org.eclipse.palamedes.gdl.core.resolver.javaprover.GameJP
 
GameLabelProvider - Class in org.eclipse.palamedes.ui.editor.gametree
 
GameLabelProvider() - Constructor for class org.eclipse.palamedes.ui.editor.gametree.GameLabelProvider
 
GameLabelProvider - Class in org.eclipse.palamedes.ui.pages.game
 
GameLabelProvider() - Constructor for class org.eclipse.palamedes.ui.pages.game.GameLabelProvider
 
GameNode - Class in org.eclipse.palamedes.gdl.core.model.utils
 
GameNode() - Constructor for class org.eclipse.palamedes.gdl.core.model.utils.GameNode
 
GameNode(IGameNode, IGameState, IMove[]) - Constructor for class org.eclipse.palamedes.gdl.core.model.utils.GameNode
 
GameNodeTree - Class in org.eclipse.palamedes.gdl.core.model.utils
The GameStateTree contains the tree of already resolved game nodes.
GameNodeTree() - Constructor for class org.eclipse.palamedes.gdl.core.model.utils.GameNodeTree
This constructor creates an empty game state tree.
GameProlog - Class in org.eclipse.palamedes.gdl.core.resolver.prologprover
 
GameProlog() - Constructor for class org.eclipse.palamedes.gdl.core.resolver.prologprover.GameProlog
 
games - Static variable in class org.eclipse.palamedes.gdl.core.model.GameFactoryTest
 
gamesDir - Static variable in class org.eclipse.palamedes.gdl.core.model.GameFactoryTest
 
GameStatePage - Class in org.eclipse.palamedes.ui.views.gamestate
 
GameStatePage() - Constructor for class org.eclipse.palamedes.ui.views.gamestate.GameStatePage
Create a new content outline page.
GameStateView - Class in org.eclipse.palamedes.ui.views.gamestate
 
GameStateView() - Constructor for class org.eclipse.palamedes.ui.views.gamestate.GameStateView
 
GameTreeContentProvider - Class in org.eclipse.palamedes.ui.editor.gametree
 
GameTreeContentProvider(IGame) - Constructor for class org.eclipse.palamedes.ui.editor.gametree.GameTreeContentProvider
 
GameTreeContentProvider - Class in org.eclipse.palamedes.ui.pages.game
 
GameTreeContentProvider() - Constructor for class org.eclipse.palamedes.ui.pages.game.GameTreeContentProvider
 
GDL_COMMENT - Static variable in class org.eclipse.palamedes.ui.editor.sourcecode.PartitionScanner
 
GDL_PARTITIONING - Static variable in class org.eclipse.palamedes.ui.PalamedesUI
 
GDL_RULE - Static variable in class org.eclipse.palamedes.ui.editor.sourcecode.PartitionScanner
 
GDLAST - Class in org.eclipse.palamedes.gdl.core.ast
 
GDLAST() - Constructor for class org.eclipse.palamedes.gdl.core.ast.GDLAST
 
GDLForm - Class in org.eclipse.palamedes.gdl.core.ast
 
gdlKeywords - Static variable in class org.eclipse.palamedes.gdl.core.knowledgebase.GDLKnowledgeBase
The static member gdlKeywords contains the GDL keywords in a case insensitive order.
GDLKnowledgeBase - Class in org.eclipse.palamedes.gdl.core.knowledgebase
 
GDLKnowledgeBase() - Constructor for class org.eclipse.palamedes.gdl.core.knowledgebase.GDLKnowledgeBase
 
gdlOperators - Static variable in class org.eclipse.palamedes.gdl.core.knowledgebase.GDLKnowledgeBase
The static member gdlOperator contains the GDL operator in a case insensitive order.
GeneralPreferencePage - Class in org.eclipse.palamedes.ui.preferences
 
GeneralPreferencePage() - Constructor for class org.eclipse.palamedes.ui.preferences.GeneralPreferencePage
 
GenericFluent<NativeTerm> - Class in org.eclipse.palamedes.gdl.core.model.utils
 
GenericFluent(TermWrapper<NativeTerm>) - Constructor for class org.eclipse.palamedes.gdl.core.model.utils.GenericFluent
 
GenericMove<NativeTerm> - Class in org.eclipse.palamedes.gdl.core.model.utils
 
GenericMove(TermWrapper<NativeTerm>) - Constructor for class org.eclipse.palamedes.gdl.core.model.utils.GenericMove
 
get(int) - Method in class org.eclipse.palamedes.gdl.core.model.utils.JoinedList
 
get(String) - Method in class org.eclipse.palamedes.kif.core.knowledgebase.KBEntry
Returns the value of a property given by propertyName.
get(String) - Method in class org.eclipse.palamedes.kif.core.knowledgebase.KnowledgeBase
Returns the KBEntry object given by name.
getAction(ITextEditor, String) - Method in class org.eclipse.palamedes.ui.editor.MainEditorContributor
Returns the action registed with the given text editor.
getAdapter(Class) - Method in class org.eclipse.palamedes.ui.editor.MainEditor
 
getAdapter(Class) - Method in class org.eclipse.palamedes.ui.editor.rulegraph.GraphEditor
 
getAdapter(Class) - Method in class org.eclipse.palamedes.ui.editor.sourcecode.SourceCodeEditor
The SourceCodeEditor implementation of this AbstractTextEditor method performs gets the GDL content outline page if request is for a an outline page.
getAnnotationHover(ISourceViewer) - Method in class org.eclipse.palamedes.ui.editor.sourcecode.SourceViewerConfigurationGDL
 
getArgument() - Method in class org.eclipse.palamedes.gdl.core.ast.Init
 
getArgument() - Method in class org.eclipse.palamedes.gdl.core.ast.True
 
getAST() - Method in class org.eclipse.palamedes.kif.core.ast.ASTNode
 
getAST() - Method in class org.eclipse.palamedes.ui.editor.sourcecode.SourceCodeEditor
This method returns the AST of the current source.
getBackground(Object) - Method in class org.eclipse.palamedes.ui.pages.outline.COLabelProvider
 
getBootstrapPart() - Method in class org.eclipse.palamedes.ui.views.gamestate.GameStateView
 
getBootstrapPart() - Method in class org.eclipse.palamedes.ui.views.knowledgebase.KnowledgeBaseView
 
getBootstrapPart() - Method in class org.eclipse.palamedes.ui.views.statistic.StatisticView
 
getBranchingInfo() - Method in class org.eclipse.palamedes.gdl.core.model.utils.GameNodeTree
 
getChildren() - Method in class org.eclipse.palamedes.kif.core.ast.KIFForm
 
getChildren(Object) - Method in class org.eclipse.palamedes.ui.editor.gametree.GameTreeContentProvider
 
getChildren(Object) - Method in class org.eclipse.palamedes.ui.pages.ast.ASTTreeContentProvider
 
getChildren(Object) - Method in class org.eclipse.palamedes.ui.pages.game.GameTreeContentProvider
 
getChildren(Object) - Method in class org.eclipse.palamedes.ui.pages.knowledgebase.KBTreeContentProvider
 
getChildren(Object) - Method in class org.eclipse.palamedes.ui.pages.outline.COContentProvider
 
getClassName() - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractFactory.FactoryDescription
 
getColor() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.model.ComplexNodeModel
 
getColor(RGB) - Method in class org.eclipse.palamedes.ui.editor.sourcecode.ColorProvider
Return the color that is stored in the color table under the given RGB value.
getColumnImage(Object, int) - Method in class org.eclipse.palamedes.ui.editor.simulation.SimulationLabelProvider
 
getColumnText(Object, int) - Method in class org.eclipse.palamedes.ui.editor.simulation.SimulationLabelProvider
 
getCombinedLegalMoves() - Method in interface org.eclipse.palamedes.gdl.core.model.IGameState
Returns the combined legal moves.
getCombinedLegalMoves() - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractState
 
getCombinedMoves(IGameNode) - Method in interface org.eclipse.palamedes.gdl.core.model.IGame
Returns a list of all moves combined.
getCombinedMoves(IGameNode) - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game
 
getComment() - Method in class org.eclipse.palamedes.kif.core.ast.KIFComment
 
getComments() - Method in class org.eclipse.palamedes.kif.core.ast.KIFForm
 
getCompletionProposalAutoActivationCharacters() - Method in class org.eclipse.palamedes.ui.editor.sourcecode.CompletionProcessor
 
getConfiguredContentTypes(ISourceViewer) - Method in class org.eclipse.palamedes.ui.editor.sourcecode.SourceViewerConfigurationGDL
 
getConfiguredDocumentPartitioning(ISourceViewer) - Method in class org.eclipse.palamedes.ui.editor.sourcecode.SourceViewerConfigurationGDL
 
getConsequence() - Method in class org.eclipse.palamedes.gdl.core.ast.Rule
 
getConsequence() - Method in class org.eclipse.palamedes.kif.core.ast.KIFImplication
 
getContainerName() - Method in class org.eclipse.palamedes.ui.wizards.NewGameWizardPage
 
getContentAssistant(ISourceViewer) - Method in class org.eclipse.palamedes.ui.editor.sourcecode.SourceViewerConfigurationGDL
 
getContentProvider() - Method in class org.eclipse.palamedes.ui.pages.knowledgebase.KBPage
 
getContextInformationAutoActivationCharacters() - Method in class org.eclipse.palamedes.ui.editor.sourcecode.CompletionProcessor
 
getContextInformationValidator() - Method in class org.eclipse.palamedes.ui.editor.sourcecode.CompletionProcessor
 
getControl() - Method in class org.eclipse.palamedes.ui.views.gamestate.GameStatePage
 
getControl() - Method in class org.eclipse.palamedes.ui.views.knowledgebase.KnowledgeBasePage
 
getControl() - Method in class org.eclipse.palamedes.ui.views.statistic.StatisticPage
 
getCurrentMoves() - Method in class org.eclipse.palamedes.gdl.core.simulation.Simulator
 
getCurrentNode() - Method in class org.eclipse.palamedes.gdl.core.simulation.Match
 
getCurrentState() - Method in class org.eclipse.palamedes.gdl.core.simulation.Simulator
 
getDefault() - Static method in class org.eclipse.palamedes.ui.PalamedesUI
Returns the shared instance
getDepth() - Method in interface org.eclipse.palamedes.gdl.core.model.IGameNode
Returns the depth of the node in the game tree where 0 is the initial state.
getDepth() - Method in class org.eclipse.palamedes.gdl.core.model.utils.GameNode
 
getDescription() - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractFactory.FactoryDescription
 
getDescription() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.Stylesheet
 
getDescriptionByName(String) - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractFactory
This method returns the description with name \a name.
getDescriptions() - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractFactory
This method returns the description list of the factory.
getDialogBoundsSettings() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetEditDialog
 
getDiff(IGameState, IGameState) - Static method in class org.eclipse.palamedes.gdl.core.model.utils.GameNode
 
getDiff(IGameState, IGameState) - Method in class org.eclipse.palamedes.ui.editor.gametree.GameLabelProvider
 
getDiffCount(IGameState, IGameState) - Static method in class org.eclipse.palamedes.gdl.core.model.utils.GameNode
 
getElements(Object) - Method in class org.eclipse.palamedes.ui.editor.gametree.GameTreeContentProvider
 
getElements(Object) - Method in class org.eclipse.palamedes.ui.editor.simulation.SimulationContentProvider
IStructuredContentProvider Implementation
getElements(Object) - Method in class org.eclipse.palamedes.ui.pages.ast.ASTTreeContentProvider
 
getElements(Object) - Method in class org.eclipse.palamedes.ui.pages.game.GameTreeContentProvider
 
getElements(Object) - Method in class org.eclipse.palamedes.ui.pages.knowledgebase.KBTreeContentProvider
 
getElements(Object) - Method in class org.eclipse.palamedes.ui.pages.outline.COContentProvider
 
getElements(Object) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetContentProvider
 
getEntries() - Method in class org.eclipse.palamedes.kif.core.knowledgebase.KnowledgeBase
Returns all KBEntry objects in a list.
getErrorMessage() - Method in class org.eclipse.palamedes.ui.editor.sourcecode.CompletionProcessor
 
getExpectedGoalValue() - Method in class org.eclipse.palamedes.gdl.connection.Player
 
getExpectedGoalValue() - Method in interface org.eclipse.palamedes.gdl.core.simulation.IStrategy
Returns a value for the last chosen move that should give an indicator what goal value we think we might get in the end.
getExpectedGoalValue() - Method in class org.eclipse.palamedes.gdl.core.simulation.strategies.AbstractStrategy
 
getFileName() - Method in class org.eclipse.palamedes.ui.wizards.NewGameWizardPage
 
getFilterList() - Method in class org.eclipse.palamedes.ui.pages.knowledgebase.KBTreeContentProvider
 
getFluent() - Method in class org.eclipse.palamedes.gdl.core.ast.Does
 
getFluentByName(String) - Method in interface org.eclipse.palamedes.gdl.core.model.IGameState
Returns the fluents with the given name.
getFluentByName(String) - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractState
 
getFluentNames() - Method in interface org.eclipse.palamedes.gdl.core.model.IGameState
Returns the fluents with the given name.
getFluentNames() - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractState
 
getFluents() - Method in interface org.eclipse.palamedes.gdl.core.model.IGameState
Returns a list containing all fluents of the game state.
getFluents() - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractState
 
getForeground(Object) - Method in class org.eclipse.palamedes.ui.pages.outline.COLabelProvider
 
getFormattedString(String, Object) - Static method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetPersistenceMessages
 
getFormattedString(String, Object[]) - Static method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetPersistenceMessages
 
getFormatterPreferenceKey() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetPreferencePage
Returns the key to use for the formatter preference.
getFunctions() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.Stylesheet
 
getGame() - Method in class org.eclipse.palamedes.gdl.core.simulation.Match
 
getGame() - Method in class org.eclipse.palamedes.gdl.core.simulation.Simulator
 
getGameAST() - Method in class org.eclipse.palamedes.gdl.core.knowledgebase.GDLKnowledgeBase
 
getGameDescription() - Method in class org.eclipse.palamedes.gdl.connection.Message
 
getGDLCodeScanner() - Method in class org.eclipse.palamedes.ui.PalamedesUI
Returns the singleton GDL code scanner.
getGDLColorProvider() - Method in class org.eclipse.palamedes.ui.PalamedesUI
Returns the singleton GDL color provider.
getGDLPartitionScanner() - Method in class org.eclipse.palamedes.ui.PalamedesUI
Return a scanner for creating GDL partitions.
getGoalValue(int) - Method in interface org.eclipse.palamedes.gdl.core.model.IGameState
Returns the goal value for the player specified by roleIndex of the state if the state is a goal state; otherwise -1.
getGoalValue(String, IGameState) - Method in interface org.eclipse.palamedes.gdl.core.model.IReasoner
Returns a value between 0 - 100 if a goal value exists; otherwise -1.
getGoalValue(int) - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractState
 
getGoalValue(String, IGameState) - Method in class org.eclipse.palamedes.gdl.core.resolver.javaprover.ReasonerAdapter
 
getGoalValue(String, IGameState) - Method in class org.eclipse.palamedes.gdl.core.resolver.jocular.ReasonerAdapter
 
getGoalValue(CompoundTerm, Collection<CompoundTerm>) - Method in class org.eclipse.palamedes.gdl.core.resolver.prologprover.EclipseConnector
 
getGoalValue(String, IGameState) - Method in class org.eclipse.palamedes.gdl.core.resolver.prologprover.ReasonerAdapter
 
getGoalValue() - Method in class org.eclipse.palamedes.gdl.core.simulation.Match
 
getGoalValues(IGameNode) - Method in interface org.eclipse.palamedes.gdl.core.model.IGame
Returns an array of the goal values of all players.
getGoalValues() - Method in interface org.eclipse.palamedes.gdl.core.model.IGameState
Returns the goal values in the same order as IGame.getRoleNames()
getGoalValues() - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractState
 
getGoalValues(IGameNode) - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game
 
getGraph() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.RuleGraphCreator
 
getHeadLvl1Const() - Method in class org.eclipse.palamedes.gdl.core.ast.Rule
 
getHeadLvl2Const() - Method in class org.eclipse.palamedes.gdl.core.ast.Rule
 
getHeuristicValue(IGameNode) - Method in interface org.eclipse.palamedes.gdl.core.simulation.IStrategy
Returns a value for the game node that can be used by a heuristic to evaluate the game node.
getHeuristicValue(IGameNode) - Method in class org.eclipse.palamedes.gdl.core.simulation.strategies.AbstractStrategy
 
getHistory() - Method in class org.eclipse.palamedes.gdl.core.simulation.Match
 
getHoverInfo(ISourceViewer, int) - Method in class org.eclipse.palamedes.ui.editor.sourcecode.AnnotationHover
 
getHoverInfo(ITextViewer, IRegion) - Method in class org.eclipse.palamedes.ui.editor.sourcecode.TextHover
 
getHoverRegion(ITextViewer, int) - Method in class org.eclipse.palamedes.ui.editor.sourcecode.TextHover
 
getIcon() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.model.BasicNodeModel
 
getIcon() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.model.ComplexNodeModel
 
getId() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetPersistenceData
Returns the id of this style sheet store, or null if there is none.
getImage(Object) - Method in class org.eclipse.palamedes.ui.editor.gametree.GameLabelProvider
 
getImage(Object) - Method in class org.eclipse.palamedes.ui.pages.ast.ASTLabelProvider
 
getImage(Object) - Method in class org.eclipse.palamedes.ui.pages.game.GameLabelProvider
 
getImage(Object) - Method in class org.eclipse.palamedes.ui.pages.knowledgebase.KBLabelProvider
 
getImage(Object) - Method in class org.eclipse.palamedes.ui.pages.outline.COLabelProvider
 
getImplicationBody() - Method in class org.eclipse.palamedes.kif.core.knowledgebase.KBEntry
Returns all implications where the symbol appears in the body.
getImplicationHead() - Method in class org.eclipse.palamedes.kif.core.knowledgebase.KBEntry
Returns all implications where the symbol appears in the head.
getImplications() - Method in class org.eclipse.palamedes.kif.core.ast.KIFForm
This method returns a new list that contains only the top level implications of the form.
getIndentPrefixes(ISourceViewer, String) - Method in class org.eclipse.palamedes.ui.editor.sourcecode.SourceViewerConfigurationGDL
 
getInfixNotation() - Method in class org.eclipse.palamedes.gdl.core.model.utils.TermWrapper
 
getInfixNotation() - Method in class org.eclipse.palamedes.kif.core.ast.ASTNode
 
getInfixNotation() - Method in class org.eclipse.palamedes.kif.core.ast.KIFSeq
 
getInitArguments() - Method in class org.eclipse.palamedes.gdl.core.ast.GDLForm
This method returns the function terms of a init predicate.
getInitialNode() - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game
 
getInitialState() - Method in class org.eclipse.palamedes.gdl.core.resolver.jocular.ReasonerAdapter
 
getInitialState() - Method in class org.eclipse.palamedes.gdl.core.resolver.prologprover.EclipseConnector
 
getInitialState() - Method in class org.eclipse.palamedes.gdl.core.resolver.prologprover.ReasonerAdapter
 
getInstance() - Static method in class org.eclipse.palamedes.gdl.core.model.GameFactory
Returns the instance of the strategy factory.
getInstance() - Static method in class org.eclipse.palamedes.gdl.core.resolver.prologprover.EclipseConnector
 
getInstance() - Static method in class org.eclipse.palamedes.gdl.core.simulation.StrategyFactory
Returns the instance of the strategy factory.
getInstance() - Static method in class org.eclipse.palamedes.kif.core.ast.visitor.NotationWriter
 
getKIFTerm() - Method in class org.eclipse.palamedes.gdl.core.model.utils.TermWrapper
 
getKIFTerm() - Method in class org.eclipse.palamedes.gdl.core.resolver.javaprover.TermAdapter
 
getKIFTerm(Expression) - Static method in class org.eclipse.palamedes.gdl.core.resolver.javaprover.TermAdapter
 
getKIFTerm() - Method in class org.eclipse.palamedes.gdl.core.resolver.jocular.GroundFactTermAdapter
 
getKIFTerm() - Method in class org.eclipse.palamedes.gdl.core.resolver.jocular.TermAdapter
 
getKIFTerm(SymbolTable, Term) - Static method in class org.eclipse.palamedes.gdl.core.resolver.jocular.TermAdapter
 
getKIFTerm() - Method in class org.eclipse.palamedes.gdl.core.resolver.prologprover.TermAdapter
 
getKIFTerm(Object) - Static method in class org.eclipse.palamedes.gdl.core.resolver.prologprover.TermAdapter
 
getKnowledgeBase() - Method in interface org.eclipse.palamedes.gdl.core.model.IGame
Returns the knowledge base that is used for this game.
getKnowledgeBase() - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game
 
getLeadingComment() - Method in class org.eclipse.palamedes.kif.core.ast.KIFSent
 
getLegalMoves(IGameNode) - Method in interface org.eclipse.palamedes.gdl.core.model.IGame
Returns an array of the legal moves of each player.
getLegalMoves() - Method in interface org.eclipse.palamedes.gdl.core.model.IGameState
Returns an array of the legal moves of each player.
getLegalMoves(String, IGameState) - Method in interface org.eclipse.palamedes.gdl.core.model.IReasoner
Returns the legal moves for a specified role.
getLegalMoves() - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractState
 
getLegalMoves(IGameNode) - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game
 
getLegalMoves(String, IGameState) - Method in class org.eclipse.palamedes.gdl.core.resolver.javaprover.ReasonerAdapter
 
getLegalMoves(String, IGameState) - Method in class org.eclipse.palamedes.gdl.core.resolver.jocular.ReasonerAdapter
 
getLegalMoves(CompoundTerm, Collection<CompoundTerm>) - Method in class org.eclipse.palamedes.gdl.core.resolver.prologprover.EclipseConnector
 
getLegalMoves(String, IGameState) - Method in class org.eclipse.palamedes.gdl.core.resolver.prologprover.ReasonerAdapter
 
getLineAndColumn() - Method in class org.eclipse.palamedes.ui.editor.sourcecode.SourceCodeEditor
 
getMatchId() - Method in class org.eclipse.palamedes.gdl.connection.Message
 
getMatchs() - Method in class org.eclipse.palamedes.gdl.core.simulation.Simulator
 
getMatchs() - Method in class org.eclipse.palamedes.gdl.core.simulation.SimulatorIntern
 
getMaxSteps() - Method in interface org.eclipse.palamedes.gdl.core.model.IGame
Returns the maximum number of steps if this information is known from the rules; otherwise -1;
getMaxSteps() - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game
 
getModelChildren() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.part.EPRootNode
 
getModelSourceConnections() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.part.EPBasicNode
 
getModelSourceConnections() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.part.EPComplexNode
 
getModelTargetConnections() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.part.EPBasicNode
 
getModelTargetConnections() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.part.EPComplexNode
 
getMove() - Method in interface org.eclipse.palamedes.gdl.core.model.IMove
 
getMove() - Method in class org.eclipse.palamedes.gdl.core.model.utils.GenericMove
 
getMove(IGameNode) - Method in interface org.eclipse.palamedes.gdl.core.simulation.IStrategy
 
getMove() - Method in class org.eclipse.palamedes.gdl.core.simulation.Match
 
getMove(IGameNode) - Method in class org.eclipse.palamedes.gdl.core.simulation.strategies.AbstractStrategy
 
getMove(IGameNode) - Method in class org.eclipse.palamedes.gdl.core.simulation.strategies.SDFS
 
getMove(IGameNode) - Method in class org.eclipse.palamedes.gdl.core.simulation.strategies.SMonteCarlo
 
getMove(IGameNode) - Method in class org.eclipse.palamedes.gdl.core.simulation.strategies.SMonteCarloUCT
 
getMove(IGameNode) - Method in class org.eclipse.palamedes.gdl.core.simulation.strategies.SRandom
 
getMoveHistory() - Method in class org.eclipse.palamedes.gdl.core.simulation.SimulatorIntern
 
getMoves() - Method in class org.eclipse.palamedes.gdl.connection.Message
 
getMoves() - Method in interface org.eclipse.palamedes.gdl.core.model.IGameNode
Returns the moves that have lead to this game node.
getMoves() - Method in class org.eclipse.palamedes.gdl.core.model.utils.GameNode
 
getMoveSubstrings(String) - Static method in class org.eclipse.palamedes.gdl.connection.Message
This method parses a GDL string into a ExpressionList.
getMoveTerm() - Method in interface org.eclipse.palamedes.gdl.core.model.IMove
 
getMoveTerm() - Method in class org.eclipse.palamedes.gdl.core.model.utils.GenericMove
 
getName() - Method in interface org.eclipse.palamedes.gdl.core.model.IFluent
Returns the name of the fluent.
getName() - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractFactory.FactoryDescription
 
getName() - Method in class org.eclipse.palamedes.gdl.core.model.utils.TermDelegator
 
getName() - Method in class org.eclipse.palamedes.gdl.core.model.utils.TermWrapper
 
getName() - Method in class org.eclipse.palamedes.kif.core.ast.KIFComment
 
getName() - Method in class org.eclipse.palamedes.kif.core.ast.KIFConjunction
 
getName() - Method in class org.eclipse.palamedes.kif.core.ast.KIFDisjunction
 
getName() - Method in class org.eclipse.palamedes.kif.core.ast.KIFFunTerm
 
getName() - Method in class org.eclipse.palamedes.kif.core.ast.KIFImplication
 
getName() - Method in class org.eclipse.palamedes.kif.core.ast.KIFIndVar
 
getName() - Method in class org.eclipse.palamedes.kif.core.ast.KIFLogConst
 
getName() - Method in class org.eclipse.palamedes.kif.core.ast.KIFNegation
 
getName() - Method in class org.eclipse.palamedes.kif.core.ast.KIFObjConst
 
getName() - Method in class org.eclipse.palamedes.kif.core.ast.KIFRelSent
 
getName() - Method in class org.eclipse.palamedes.kif.core.ast.KIFSent
 
getName() - Method in class org.eclipse.palamedes.kif.core.ast.KIFTerm
 
getName() - Method in class org.eclipse.palamedes.kif.core.knowledgebase.KBEntry
Returns the name of the entry.
getName() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.model.BasicNodeModel
 
getName() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.model.ComplexNodeModel
 
getName() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.Stylesheet
 
getNativeMove() - Method in class org.eclipse.palamedes.gdl.core.model.utils.GenericMove
 
getNativeState() - Method in interface org.eclipse.palamedes.gdl.core.model.IGameState
Returns the state object that was provided by the reasoner.
getNativeState() - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractState
 
getNativeTerm() - Method in class org.eclipse.palamedes.gdl.core.model.utils.TermDelegator
 
getNativeTerm() - Method in class org.eclipse.palamedes.gdl.core.model.utils.TermWrapper
 
getNextNode(IGameNode, IMove[]) - Method in interface org.eclipse.palamedes.gdl.core.model.IGame
Returns the child node of the parent that is connected through the specified moves.
getNextNode(IGameNode, IMove[]) - Method in interface org.eclipse.palamedes.gdl.core.model.IGameTree
Returns the child game node of a parent which was derived through moves.
getNextNode(IGameNode, IMove[]) - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game
 
getNextNode(IGameNode, IMove[]) - Method in class org.eclipse.palamedes.gdl.core.model.utils.GameNodeTree
 
getNextState(IGameState, IMove[]) - Method in interface org.eclipse.palamedes.gdl.core.model.IReasoner
Returns the next state for a given parent state and specified moves.
getNextState(IGameState, IMove[]) - Method in class org.eclipse.palamedes.gdl.core.resolver.javaprover.ReasonerAdapter
 
getNextState(IGameState, IMove[]) - Method in class org.eclipse.palamedes.gdl.core.resolver.jocular.ReasonerAdapter
 
getNextState(Collection<CompoundTerm>, Collection<CompoundTerm>) - Method in class org.eclipse.palamedes.gdl.core.resolver.prologprover.EclipseConnector
 
getNextState(IGameState, IMove[]) - Method in class org.eclipse.palamedes.gdl.core.resolver.prologprover.ReasonerAdapter
 
getNodeHistory() - Method in class org.eclipse.palamedes.gdl.core.simulation.SimulatorIntern
 
getNodeLabel(int) - Method in class org.eclipse.palamedes.ui.utils.DGraph
 
getNodeList() - Method in class org.eclipse.palamedes.kif.core.knowledgebase.KBEntry
Returns all ASTNodes that correspond to the symbol directly.
getNodeType() - Method in class org.eclipse.palamedes.kif.core.ast.ASTNode
Returns an integer value identifying the type of this concrete AST node.
getNumberOfStates() - Method in class org.eclipse.palamedes.gdl.core.model.utils.GameNodeTree
 
getOperand() - Method in class org.eclipse.palamedes.kif.core.ast.KIFNegation
 
getOperandCount() - Method in class org.eclipse.palamedes.kif.core.ast.KIFComment
 
getOperandCount() - Method in class org.eclipse.palamedes.kif.core.ast.KIFConjunction
 
getOperandCount() - Method in class org.eclipse.palamedes.kif.core.ast.KIFDisjunction
 
getOperandCount() - Method in class org.eclipse.palamedes.kif.core.ast.KIFImplication
 
getOperandCount() - Method in class org.eclipse.palamedes.kif.core.ast.KIFLogConst
 
getOperandCount() - Method in class org.eclipse.palamedes.kif.core.ast.KIFNegation
 
getOperandCount() - Method in class org.eclipse.palamedes.kif.core.ast.KIFRelSent
 
getOperandCount() - Method in class org.eclipse.palamedes.kif.core.ast.KIFSent
 
getOperands() - Method in class org.eclipse.palamedes.kif.core.ast.KIFComment
 
getOperands() - Method in class org.eclipse.palamedes.kif.core.ast.KIFConjunction
 
getOperands() - Method in class org.eclipse.palamedes.kif.core.ast.KIFDisjunction
 
getOperands() - Method in class org.eclipse.palamedes.kif.core.ast.KIFImplication
 
getOperands() - Method in class org.eclipse.palamedes.kif.core.ast.KIFLogConst
 
getOperands() - Method in class org.eclipse.palamedes.kif.core.ast.KIFNegation
 
getOperands() - Method in class org.eclipse.palamedes.kif.core.ast.KIFRelSent
 
getOperands() - Method in class org.eclipse.palamedes.kif.core.ast.KIFSent
 
getOperator() - Method in class org.eclipse.palamedes.kif.core.ast.KIFOperator
 
getOptions(String[]) - Static method in class org.eclipse.palamedes.gdl.connection.PlayerServer
This method creates and returns the option map.
getParent() - Method in interface org.eclipse.palamedes.gdl.core.model.IGameNode
Returns the parent node or null if none exist.
getParent() - Method in class org.eclipse.palamedes.gdl.core.model.utils.GameNode
 
getParent(Object) - Method in class org.eclipse.palamedes.ui.editor.gametree.GameTreeContentProvider
 
getParent(Object) - Method in class org.eclipse.palamedes.ui.pages.ast.ASTTreeContentProvider
 
getParent(Object) - Method in class org.eclipse.palamedes.ui.pages.game.GameTreeContentProvider
 
getParent(Object) - Method in class org.eclipse.palamedes.ui.pages.knowledgebase.KBTreeContentProvider
 
getParent(Object) - Method in class org.eclipse.palamedes.ui.pages.outline.COContentProvider
 
getParser() - Method in class org.eclipse.palamedes.kif.core.ast.AST
 
getPath() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.Stylesheet
 
getPerftValue(int, IGameNode) - Method in interface org.eclipse.palamedes.gdl.core.model.IGame
Returns the perft(n) value starting from the given startNode.
getPerftValue(int, IGameNode) - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game
 
getPlayClock() - Method in class org.eclipse.palamedes.gdl.connection.Message
 
getPlayTime() - Method in class org.eclipse.palamedes.gdl.core.simulation.Match
 
getPlayTimes() - Method in class org.eclipse.palamedes.gdl.core.simulation.SimulationSettings
 
getPluginId() - Static method in class org.eclipse.palamedes.ui.PalamedesUI
 
getPort(Map<String, String>) - Static method in class org.eclipse.palamedes.gdl.connection.PlayerServer
This method extracts the port number out of the argument map.
getPrefixNotation() - Method in class org.eclipse.palamedes.gdl.core.model.utils.TermWrapper
 
getPrefixNotation() - Method in class org.eclipse.palamedes.kif.core.ast.ASTNode
 
getPrefixNotation() - Method in class org.eclipse.palamedes.kif.core.ast.KIFSeq
 
getPremise() - Method in class org.eclipse.palamedes.kif.core.ast.KIFImplication
 
getPresentationReconciler(ISourceViewer) - Method in class org.eclipse.palamedes.ui.editor.sourcecode.SourceViewerConfigurationGDL
 
getProperty(String) - Method in interface org.eclipse.palamedes.gdl.core.model.IStatistic
 
getPropertyNames() - Method in interface org.eclipse.palamedes.gdl.core.model.IStatistic
 
getPropertyNames() - Method in class org.eclipse.palamedes.gdl.core.model.utils.StatisticInfo
 
getPropertyNames() - Method in class org.eclipse.palamedes.kif.core.knowledgebase.KBEntry
Returns the property names.
getPropertyNames(String[]) - Method in class org.eclipse.palamedes.kif.core.knowledgebase.KBEntry
Returns the property names but only thus which are not in toBeFiltered.
getRandomCombinedMove() - Method in class org.eclipse.palamedes.gdl.core.simulation.strategies.AbstractStrategy
 
getRandomMove(IGameNode) - Method in interface org.eclipse.palamedes.gdl.core.model.IGame
Returns a random combined move.
getRandomMove(IGameNode) - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game
 
getRandomUnexpandedMove() - Method in class org.eclipse.palamedes.gdl.core.simulation.strategies.FringeFrame
 
getRawGeneral() - Method in class org.eclipse.palamedes.gdl.core.ast.GDLForm
 
getRawInits() - Method in class org.eclipse.palamedes.gdl.core.ast.GDLForm
This method returns all init sentences.
getRawOthers() - Method in class org.eclipse.palamedes.gdl.core.ast.GDLForm
 
getRawRoles() - Method in class org.eclipse.palamedes.gdl.core.ast.GDLForm
This method returns all role sentences.
getRawRuleGeneral() - Method in class org.eclipse.palamedes.gdl.core.ast.GDLForm
 
getRawRuleGoal() - Method in class org.eclipse.palamedes.gdl.core.ast.GDLForm
 
getRawRuleLegal() - Method in class org.eclipse.palamedes.gdl.core.ast.GDLForm
 
getRawRuleNext() - Method in class org.eclipse.palamedes.gdl.core.ast.GDLForm
 
getRawRuleTerminal() - Method in class org.eclipse.palamedes.gdl.core.ast.GDLForm
 
getReasoner() - Method in interface org.eclipse.palamedes.gdl.core.model.IGame
Returns the reasoner that is used for this game.
getReasoner() - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game
 
getReasonerType() - Static method in class org.eclipse.palamedes.ui.PalamedesUI
 
getReliabilityValue() - Method in class org.eclipse.palamedes.gdl.connection.Player
 
getReliabilityValue() - Method in interface org.eclipse.palamedes.gdl.core.simulation.IStrategy
Returns a value for the last chosen move that should give an indicator value for the reliability of it.
getReliabilityValue() - Method in class org.eclipse.palamedes.gdl.core.simulation.Match
 
getReliabilityValue() - Method in class org.eclipse.palamedes.gdl.core.simulation.strategies.AbstractStrategy
 
getResourceBundle() - Static method in class org.eclipse.palamedes.ui.editor.sourcecode.EditorMessages
 
getRole() - Method in class org.eclipse.palamedes.gdl.connection.Message
 
getRole() - Method in interface org.eclipse.palamedes.gdl.core.model.IMove
 
getRole() - Method in class org.eclipse.palamedes.gdl.core.model.utils.GenericMove
 
getRole() - Method in class org.eclipse.palamedes.gdl.core.simulation.Match
 
getRoleCount() - Method in interface org.eclipse.palamedes.gdl.core.model.IGame
Returns the number of roles respective the number of players.
getRoleCount() - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game
 
getRoleIndex(String) - Method in interface org.eclipse.palamedes.gdl.core.model.IGame
Returns the index of the given role in the role name array.
getRoleIndex(String) - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game
 
getRoleName() - Method in class org.eclipse.palamedes.gdl.core.ast.Role
 
getRoleNames() - Method in class org.eclipse.palamedes.gdl.core.ast.GDLForm
This method returns the names of the roles.
getRoleNames() - Method in interface org.eclipse.palamedes.gdl.core.model.IGame
Returns the string representation of the role names as string array.
getRoleNames() - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game
 
getRoleNames() - Method in class org.eclipse.palamedes.gdl.core.resolver.jocular.ReasonerAdapter
 
getRoleNames() - Method in class org.eclipse.palamedes.gdl.core.resolver.prologprover.ReasonerAdapter
 
getRoleObjConst() - Method in class org.eclipse.palamedes.gdl.core.ast.GDLForm
This method returns all role object constants.
getRoles() - Method in class org.eclipse.palamedes.gdl.core.resolver.prologprover.EclipseConnector
 
getRoleTerm() - Method in interface org.eclipse.palamedes.gdl.core.model.IMove
 
getRoleTerm() - Method in class org.eclipse.palamedes.gdl.core.model.utils.GenericMove
 
getRoot() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.RuleGraphCreator
 
getRootNode() - Method in interface org.eclipse.palamedes.gdl.core.model.IGameTree
Returns the root node of the game tree.
getRootNode() - Method in class org.eclipse.palamedes.gdl.core.model.utils.GameNodeTree
 
getSelection() - Method in class org.eclipse.palamedes.ui.views.knowledgebase.KnowledgeBasePage
 
getSelectionProvider() - Method in class org.eclipse.palamedes.ui.editor.simulation.SimulatorUI
 
getSentences() - Method in class org.eclipse.palamedes.kif.core.ast.KIFForm
 
getSlaveExtention() - Method in class org.eclipse.palamedes.gdl.connection.Player
 
getSourceConnectionAnchor(ConnectionEditPart) - Method in class org.eclipse.palamedes.ui.editor.rulegraph.part.EPBasicNode
 
getSourceConnectionAnchor(Request) - Method in class org.eclipse.palamedes.ui.editor.rulegraph.part.EPBasicNode
 
getSourceConnectionAnchor(ConnectionEditPart) - Method in class org.eclipse.palamedes.ui.editor.rulegraph.part.EPComplexNode
 
getSourceConnectionAnchor(Request) - Method in class org.eclipse.palamedes.ui.editor.rulegraph.part.EPComplexNode
 
getSourceGDL() - Method in interface org.eclipse.palamedes.gdl.core.model.IGame
Returns the original GDL description for this game.
getSourceGDL() - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game
 
getSourceGDL() - Method in class org.eclipse.palamedes.gdl.core.resolver.jocular.ReasonerAdapter
 
getSourceLength() - Method in class org.eclipse.palamedes.kif.core.ast.ASTNode
 
getSourceStart() - Method in class org.eclipse.palamedes.kif.core.ast.ASTNode
 
getStartClock() - Method in class org.eclipse.palamedes.gdl.connection.Message
 
getStartTime() - Method in class org.eclipse.palamedes.gdl.core.simulation.Match
 
getStartTimes() - Method in class org.eclipse.palamedes.gdl.core.simulation.SimulationSettings
 
getState(IGameNode) - Method in interface org.eclipse.palamedes.gdl.core.model.IGame
Returns the game state associated with currentNode.
getState() - Method in interface org.eclipse.palamedes.gdl.core.model.IGameNode
Returns the associated game state if it is still in memory.
getState(IGameNode) - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game
 
getState() - Method in class org.eclipse.palamedes.gdl.core.model.utils.GameNode
 
getStatistic() - Method in interface org.eclipse.palamedes.gdl.core.model.IGame
 
getStatistic() - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game
 
getStep() - Method in class org.eclipse.palamedes.gdl.core.simulation.Simulator
 
getStep() - Method in class org.eclipse.palamedes.gdl.core.simulation.SimulatorIntern
 
getStepInfos() - Method in class org.eclipse.palamedes.gdl.core.simulation.Simulator
 
getStrategies() - Method in class org.eclipse.palamedes.gdl.core.simulation.SimulationSettings
 
getStrategy() - Method in class org.eclipse.palamedes.gdl.core.simulation.Match
 
getString(String) - Static method in class org.eclipse.palamedes.ui.editor.sourcecode.EditorMessages
 
getString(String) - Static method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetPersistenceMessages
 
getStylesheet() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetEditDialog
Returns the created style sheet.
getStylesheet() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetPersistenceData
Returns the style sheet encapsulated by the receiver.
getStylesheetData(boolean) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetStore
Returns all style sheet data.
getStylesheetData(String) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetStore
Returns the style sheet data of the style sheet with id id or null if no such style sheet can be found.
getStylesheets() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetStore
Returns all enabled style sheets.
getStylesheetStore() - Method in class org.eclipse.palamedes.ui.PalamedesUI
Returns the template store for the java editor templates.
getStylesheetStore() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetPreferencePage
 
getTabWidth(ISourceViewer) - Method in class org.eclipse.palamedes.ui.editor.sourcecode.SourceViewerConfigurationGDL
 
getTargetConnectionAnchor(ConnectionEditPart) - Method in class org.eclipse.palamedes.ui.editor.rulegraph.part.EPBasicNode
 
getTargetConnectionAnchor(Request) - Method in class org.eclipse.palamedes.ui.editor.rulegraph.part.EPBasicNode
 
getTargetConnectionAnchor(ConnectionEditPart) - Method in class org.eclipse.palamedes.ui.editor.rulegraph.part.EPComplexNode
 
getTargetConnectionAnchor(Request) - Method in class org.eclipse.palamedes.ui.editor.rulegraph.part.EPComplexNode
 
getTerm() - Method in interface org.eclipse.palamedes.gdl.core.model.IFluent
 
getTerm() - Method in class org.eclipse.palamedes.gdl.core.model.utils.TermDelegator
 
getTerm() - Method in class org.eclipse.palamedes.gdl.core.model.utils.TermWrapper
 
getTerms() - Method in class org.eclipse.palamedes.kif.core.ast.KIFFunTerm
 
getTerms() - Method in class org.eclipse.palamedes.kif.core.ast.KIFIndVar
 
getTerms() - Method in class org.eclipse.palamedes.kif.core.ast.KIFObjConst
 
getTerms() - Method in class org.eclipse.palamedes.kif.core.ast.KIFRelSent
 
getTerms() - Method in class org.eclipse.palamedes.kif.core.ast.KIFTerm
 
getText(Object) - Method in class org.eclipse.palamedes.ui.editor.gametree.GameLabelProvider
 
getText() - Method in class org.eclipse.palamedes.ui.editor.sourcecode.SourceCodeEditor
 
getText(Object) - Method in class org.eclipse.palamedes.ui.pages.ast.ASTLabelProvider
 
getText(Object) - Method in class org.eclipse.palamedes.ui.pages.game.GameLabelProvider
 
getText(Object) - Method in class org.eclipse.palamedes.ui.pages.knowledgebase.KBLabelProvider
 
getText(Object) - Method in class org.eclipse.palamedes.ui.pages.outline.COLabelProvider
 
getTextHover(ISourceViewer, String) - Method in class org.eclipse.palamedes.ui.editor.sourcecode.SourceViewerConfigurationGDL
 
getTimer() - Method in class org.eclipse.palamedes.gdl.core.simulation.Match
 
getTopLevelNodes() - Method in class org.eclipse.palamedes.kif.core.knowledgebase.KBEntry
Returns all Top Level ASTNodes corresponding to the symbol.
getTree() - Method in interface org.eclipse.palamedes.gdl.core.model.IGame
Returns the game tree representation if it exists; otherwise null.
getTree() - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game
This method returns the game tree.
getTreeViewer() - Method in class org.eclipse.palamedes.ui.views.knowledgebase.KnowledgeBasePage
Returns this page's tree viewer.
getType() - Method in class org.eclipse.palamedes.gdl.connection.Message
 
getXML(IGameState) - Static method in class org.eclipse.palamedes.ui.pages.gamestate.XMLGameStateWriter
 
getXSL() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.Stylesheet
 
GGPPerspective - Class in org.eclipse.palamedes.ui.perspectives
This class is meant to serve as an example for how various contributions are made to a perspective.
GGPPerspective() - Constructor for class org.eclipse.palamedes.ui.perspectives.GGPPerspective
 
gotoMarker(IMarker) - Method in class org.eclipse.palamedes.ui.editor.MainEditor
 
GraphEditor - Class in org.eclipse.palamedes.ui.editor.rulegraph
 
GraphEditor() - Constructor for class org.eclipse.palamedes.ui.editor.rulegraph.GraphEditor
 
GraphEditorActionBarContributor - Class in org.eclipse.palamedes.ui.actions
 
GraphEditorActionBarContributor() - Constructor for class org.eclipse.palamedes.ui.actions.GraphEditorActionBarContributor
 
GroundChecker - Class in org.eclipse.palamedes.kif.core.ast.visitor
The GroundChecker recursively checks whether a given ASTNode contains a variable.
GroundChecker() - Constructor for class org.eclipse.palamedes.kif.core.ast.visitor.GroundChecker
 
GroundFactTermAdapter - Class in org.eclipse.palamedes.gdl.core.resolver.jocular
 
GroundFactTermAdapter(SymbolTable, GroundFact) - Constructor for class org.eclipse.palamedes.gdl.core.resolver.jocular.GroundFactTermAdapter
 
gsHash2Nodes - Variable in class org.eclipse.palamedes.gdl.core.model.utils.GameNodeTree
Mapping: GameState.hashCode -> [GameNode.hashCode]+
GSPage - Class in org.eclipse.palamedes.ui.pages.gamestate
 
GSPage() - Constructor for class org.eclipse.palamedes.ui.pages.gamestate.GSPage
 

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