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

I

ICON_AND - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ICON_CONTROL - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ICON_COUNTER - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ICON_FACT - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ICON_FUN - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ICON_GDL - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ICON_IMP - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ICON_MOVE - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ICON_NOT - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ICON_OBJ - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ICON_OP - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ICON_OR - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ICON_ORDER_S - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ICON_REL - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ICON_STATE - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ICON_STEP - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ICON_TOGGLE - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ICON_VAR - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

ID - Static variable in class org.eclipse.palamedes.ui.editor.MainEditor

ID_GAME_STATE_VIEW - Static variable in interface org.eclipse.palamedes.ui.IPalamedesConstants

ID_GDL_PERSPECTIVE - Static variable in interface org.eclipse.palamedes.ui.IPalamedesConstants

ID_GGP_PERSPECTIVE - Static variable in interface org.eclipse.palamedes.ui.IPalamedesConstants

ID_KNOWLEDGE_BASE_VIEW - Static variable in interface org.eclipse.palamedes.ui.IPalamedesConstants

ID_STATISTIC_VIEW - Static variable in interface org.eclipse.palamedes.ui.IPalamedesConstants

iException - Static variable in class org.eclipse.palamedes.gdl.core.simulation.strategies.AbstractStrategy

General interrupted exception for timing purpose

IFluent - Interface in org.eclipse.palamedes.gdl.core.model

The IFluent interface is an adapter interface to wrap reasoner specific fluent representations.

IGame - Interface in org.eclipse.palamedes.gdl.core.model

The IGame interface follows the facade design pattern.

IGameNode - Interface in org.eclipse.palamedes.gdl.core.model

A game node is a unique instance of a game state within a game node tree.

IGameState - Interface in org.eclipse.palamedes.gdl.core.model

IGameState provides an interface for general interaction with a single game state.

IGameStatePage - Interface in org.eclipse.palamedes.ui.views.gamestate

Marker-style interface for a knowledge base page.

IGameTree - Interface in org.eclipse.palamedes.gdl.core.model

The IGameTree interface provides a facade to work with a game state space representation.

IKBAnalyser - Interface in org.eclipse.palamedes.kif.core.knowledgebase

The IKBAnalyser interface is the most basic interface for knowledge base analyser classes.

IKBFilter - Interface in org.eclipse.palamedes.kif.core.knowledgebase

IKnowledgeBasePage - Interface in org.eclipse.palamedes.ui.views.knowledgebase

Marker-style interface for a knowledge base page.

IMove - Interface in org.eclipse.palamedes.gdl.core.model

The IMove interface is an adapter interface to wrap reasoner specific move representations.

IMoveTest - Class in org.eclipse.palamedes.gdl.core.model.utils

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

IMP - Static variable in class org.eclipse.palamedes.kif.core.parser.KIFSymbols

IMP_HEAD_FIRST - Static variable in class org.eclipse.palamedes.kif.core.ast.visitor.DefaultVisitor

IMP_HEAD_LAST - Static variable in class org.eclipse.palamedes.kif.core.ast.visitor.DefaultVisitor

IMPLICATION - Static variable in class org.eclipse.palamedes.kif.core.ast.ASTNode

INDVAR - Static variable in class org.eclipse.palamedes.kif.core.ast.ASTNode

INFIX - Static variable in class org.eclipse.palamedes.kif.core.ast.visitor.NotationWriter

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

init() - Method in class org.eclipse.palamedes.gdl.core.model.GameFactoryTest

init(String) - Method in interface org.eclipse.palamedes.gdl.core.model.IGame

Initialises a game object.

init(String, IReasoner) - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game

init(String) - Method in class org.eclipse.palamedes.gdl.core.resolver.javaprover.GameJP

init(String) - Method in class org.eclipse.palamedes.gdl.core.resolver.jocular.GameJocular

init(String) - Method in class org.eclipse.palamedes.gdl.core.resolver.prologprover.GameProlog

init(IWorkbench) - Method in class org.eclipse.palamedes.ui.preferences.factories.StrategyFactoryPreferencePage

init(IWorkbench) - Method in class org.eclipse.palamedes.ui.preferences.GeneralPreferencePage

init(IWorkbench) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetPreferencePage

Creates the field editors.

init(IPageSite) - Method in class org.eclipse.palamedes.ui.views.gamestate.GameStatePage

init(IPageSite) - Method in class org.eclipse.palamedes.ui.views.knowledgebase.KnowledgeBasePage

init(IPageSite) - Method in class org.eclipse.palamedes.ui.views.statistic.StatisticPage

init(IWorkbench, IStructuredSelection) - Method in class org.eclipse.palamedes.ui.wizards.NewGameWizard

We will accept the selection in the workbench to see if we can initialise from it.

init_actions() - Method in class org.eclipse.palamedes.kif.core.parser.KIFParser

Action encapsulation object initializer.

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

initFluentList() - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractState

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

initGame(SourceCodeEditor) - Method in class org.eclipse.palamedes.ui.editor.simulation.SimulatorUI

initializeDefaultPreferences() - Method in class org.eclipse.palamedes.ui.preferences.PreferenceInitializer

initializeEditor() - Method in class org.eclipse.palamedes.ui.editor.sourcecode.SourceCodeEditor

initializeGraphicalViewer() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.GraphEditor

initializeImageRegistry(ImageRegistry) - Method in class org.eclipse.palamedes.ui.PalamedesUI

initMatch(Match) - Method in interface org.eclipse.palamedes.gdl.core.simulation.IStrategy

initMatch(Match) - Method in class org.eclipse.palamedes.gdl.core.simulation.strategies.AbstractStrategy

initMatch(Match) - Method in class org.eclipse.palamedes.gdl.core.simulation.strategies.SDFS

initMatch(Match) - Method in class org.eclipse.palamedes.gdl.core.simulation.strategies.SMonteCarlo

initMatch(Match) - Method in class org.eclipse.palamedes.gdl.core.simulation.strategies.SMonteCarloUCT

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

inputChanged(Viewer, Object, Object) - Method in class org.eclipse.palamedes.ui.editor.gametree.GameTreeContentProvider

inputChanged(Viewer, Object, Object) - Method in class org.eclipse.palamedes.ui.editor.simulation.SimulationContentProvider

inputChanged(Viewer, Object, Object) - Method in class org.eclipse.palamedes.ui.pages.ast.ASTTreeContentProvider

inputChanged(Viewer, Object, Object) - Method in class org.eclipse.palamedes.ui.pages.game.GameTreeContentProvider

inputChanged(Viewer, Object, Object) - Method in class org.eclipse.palamedes.ui.pages.knowledgebase.KBTreeContentProvider

inputChanged(Viewer, Object, Object) - Method in class org.eclipse.palamedes.ui.pages.outline.COContentProvider

inputChanged(Viewer, Object, Object) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetContentProvider

insideBody - Variable in class org.eclipse.palamedes.kif.core.ast.visitor.DefaultVisitor

insideHead - Variable in class org.eclipse.palamedes.kif.core.ast.visitor.DefaultVisitor

insideImplication - Variable in class org.eclipse.palamedes.kif.core.ast.visitor.DefaultVisitor

INTERNAL_ERROR - Static variable in class org.eclipse.palamedes.ui.PalamedesUI

internalAdd(StylesheetPersistenceData) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetStore

Adds a style sheet to the internal store.

interrupt() - Method in class org.eclipse.palamedes.gdl.core.simulation.TimerFlag

Interrupts the processing of the theory.

interrupted() - Method in class org.eclipse.palamedes.gdl.core.simulation.TimerFlag

Returns whether the theory object was interrupted while doing stuff.

IPalamedesConstants - Interface in org.eclipse.palamedes.ui

IReasoner - Interface in org.eclipse.palamedes.gdl.core.model

Classes that implement the IReasoner interface are responsible for retrieving the legal moves and the next states.

isCustom() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetPersistenceData

Returns whether the receiver represents a custom style sheet, i.e. is either a user-added style sheet or a contributed style sheet that has been modified.

isDeleted() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetPersistenceData

Returns the deletion state of the stored style sheet.

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

isEnabled() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetPersistenceData

Returns the enablement state of the contained template.

isGround(ASTNode) - Method in class org.eclipse.palamedes.kif.core.ast.visitor.GroundChecker

This method checks the given ASTNode whether it contains a KIFIndVar or not.

isHeadFirst() - Method in class org.eclipse.palamedes.kif.core.ast.visitor.DefaultVisitor

isImportant(IWorkbenchPart) - Method in class org.eclipse.palamedes.ui.views.gamestate.GameStateView

isImportant(IWorkbenchPart) - Method in class org.eclipse.palamedes.ui.views.knowledgebase.KnowledgeBaseView

isImportant(IWorkbenchPart) - Method in class org.eclipse.palamedes.ui.views.statistic.StatisticView

isKeyword(String) - Static method in class org.eclipse.palamedes.gdl.core.ast.GDLAST

Returns true if the given string is a GDL keyword; otherwise false.

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

isLabelProperty(Object, String) - Method in class org.eclipse.palamedes.ui.editor.gametree.GameLabelProvider

isLabelProperty(Object, String) - Method in class org.eclipse.palamedes.ui.editor.simulation.SimulationLabelProvider

isLabelProperty(Object, String) - Method in class org.eclipse.palamedes.ui.pages.ast.ASTLabelProvider

isLabelProperty(Object, String) - Method in class org.eclipse.palamedes.ui.pages.game.GameLabelProvider

isLabelProperty(Object, String) - Method in class org.eclipse.palamedes.ui.pages.knowledgebase.KBLabelProvider

isLabelProperty(Object, String) - Method in class org.eclipse.palamedes.ui.pages.outline.COLabelProvider

isMatching(KBEntry) - Method in class org.eclipse.palamedes.gdl.core.knowledgebase.filter.StepCounterFilter

isMatching(KBEntry) - Method in class org.eclipse.palamedes.kif.core.knowledgebase.filter.AndFilter

isMatching(KBEntry) - Method in class org.eclipse.palamedes.kif.core.knowledgebase.filter.FunctionFilter

isMatching(KBEntry) - Method in class org.eclipse.palamedes.kif.core.knowledgebase.filter.OrFilter

isMatching(KBEntry) - Method in class org.eclipse.palamedes.kif.core.knowledgebase.filter.RelationFilter

isMatching(KBEntry) - Method in interface org.eclipse.palamedes.kif.core.knowledgebase.IKBFilter

isModified() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetPersistenceData

Returns whether the receiver represents a modified style sheet, i.e. a contributed style sheet that has been changed.

isPreserved() - Method in interface org.eclipse.palamedes.gdl.core.model.IGameNode

Returns if this game nodes content should be preserved even in the case of compacting the game tree.

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

isSaveAsAllowed() - Method in class org.eclipse.palamedes.ui.editor.MainEditor

isShowFormatterSetting() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetPreferencePage

Returns whether the formatter preference checkbox should be shown.

IStatistic - Interface in org.eclipse.palamedes.gdl.core.model

Marker Interface

IStatisticPage - Interface in org.eclipse.palamedes.ui.views.statistic

Marker-style interface for a knowledge base page.

isTerminal(IGameNode) - Method in interface org.eclipse.palamedes.gdl.core.model.IGame

Returns true if the state of the node is a terminal state

isTerminal() - Method in interface org.eclipse.palamedes.gdl.core.model.IGameNode

Returns whether this node is a terminal node or not.

isTerminal() - Method in interface org.eclipse.palamedes.gdl.core.model.IGameState

Returns true if the state is a terminal state; otherwise false.

isTerminal() - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractState

isTerminal(IGameNode) - Method in class org.eclipse.palamedes.gdl.core.model.utils.Game

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

isTerminal(ProofContext) - Method in class org.eclipse.palamedes.gdl.core.resolver.jocular.ReasonerAdapter

isTerminal(Collection<CompoundTerm>) - Method in class org.eclipse.palamedes.gdl.core.resolver.prologprover.EclipseConnector

isTerminal() - Method in class org.eclipse.palamedes.gdl.core.simulation.Simulator

isTerminal() - Method in class org.eclipse.palamedes.gdl.core.simulation.SimulatorIntern

IStrategy - Interface in org.eclipse.palamedes.gdl.core.simulation

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

isUserAdded() - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetPersistenceData

Returns true if the contained style sheet was added by a user, i.e. does not reference a contributed style sheet.

isWhitespace(char) - Method in class org.eclipse.palamedes.ui.editor.sourcecode.WhitespaceDetector

isWordPart(char) - Method in class org.eclipse.palamedes.ui.editor.sourcecode.WordDetector

isWordStart(char) - Method in class org.eclipse.palamedes.ui.editor.sourcecode.WordDetector