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

S

S_MOVE_CALL - Static variable in interface org.eclipse.palamedes.gdl.core.model.IStatistic

S_MOVE_COUNT - Static variable in interface org.eclipse.palamedes.gdl.core.model.IStatistic

S_MOVE_TIME - Static variable in interface org.eclipse.palamedes.gdl.core.model.IStatistic

S_NODE_CALL - Static variable in interface org.eclipse.palamedes.gdl.core.model.IStatistic

S_STATE_CALL - Static variable in interface org.eclipse.palamedes.gdl.core.model.IStatistic

S_STATE_TIME - Static variable in interface org.eclipse.palamedes.gdl.core.model.IStatistic

save(StylesheetPersistenceData[], OutputStream) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetReaderWriter

Saves the templates as XML, encoded as UTF-8 onto the given byte stream.

save(StylesheetPersistenceData[], Writer) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetReaderWriter

Saves the templates as XML.

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

Saves the style sheets to the preferences.

SDFS - Class in org.eclipse.palamedes.gdl.core.simulation.strategies

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

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

selectionChanged(SelectionChangedEvent) - Method in class org.eclipse.palamedes.ui.pages.ast.ASTContentOutlinePage

selectionChanged(SelectionChangedEvent) - Method in class org.eclipse.palamedes.ui.pages.game.GameContentOutlinePage

selectionChanged(SelectionChangedEvent) - Method in class org.eclipse.palamedes.ui.pages.knowledgebase.KBPage

selectionChanged(SelectionChangedEvent) - Method in class org.eclipse.palamedes.ui.pages.outline.COPage

selectionChanged(SelectionChangedEvent) - Method in class org.eclipse.palamedes.ui.views.gamestate.GameStatePage

selectionChanged(SelectionChangedEvent) - Method in class org.eclipse.palamedes.ui.views.gamestate.GameStateView

selectionChanged(SelectionChangedEvent) - Method in class org.eclipse.palamedes.ui.views.knowledgebase.KnowledgeBasePage

selectionChanged(SelectionChangedEvent) - Method in class org.eclipse.palamedes.ui.views.knowledgebase.KnowledgeBaseView

selectionChanged(SelectionChangedEvent) - Method in class org.eclipse.palamedes.ui.views.statistic.StatisticPage

selectionChanged(SelectionChangedEvent) - Method in class org.eclipse.palamedes.ui.views.statistic.StatisticView

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

serve(String, String, Properties, Properties, String) - Method in class org.eclipse.palamedes.gdl.connection.NanoHTTPD

Override this to customize the server.

serve(String, String, Properties, Properties, String) - Method in class org.eclipse.palamedes.gdl.connection.PlayerProxy

serve(String, String, Properties, Properties, String) - Method in class org.eclipse.palamedes.gdl.connection.PlayerServer

serveFile(String, Properties, File, boolean) - Method in class org.eclipse.palamedes.gdl.connection.NanoHTTPD

Serves file from homeDir and its' subdirectories (only).

server_thread - Variable in class org.eclipse.palamedes.gdl.connection.NanoHTTPD

setActivePage(IEditorPart) - Method in class org.eclipse.palamedes.ui.editor.MainEditorContributor

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

setConsequence(KIFSent) - Method in class org.eclipse.palamedes.gdl.core.ast.Rule

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

setConstName(String) - Method in class org.eclipse.palamedes.kif.core.ast.KIFFunTerm

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

setConstName(String) - Method in class org.eclipse.palamedes.kif.core.ast.KIFObjConst

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

setCurrentNode(IGameNode) - Method in class org.eclipse.palamedes.gdl.core.simulation.Match

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

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

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

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

Sets the deletion state of the stored style sheet.

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

The setDescription method resets the knowledge base and sets the new GDL description.

setDescription(String) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.Stylesheet

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

Sets the enablement state of the contained style sheet.

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

Sets focus to a part in the page.

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

Sets focus to a part in the page.

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

Sets focus to a part in the page.

setFunctions(String) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.Stylesheet

setGame(IGame) - Method in class org.eclipse.palamedes.ui.views.statistic.StatisticPage

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

setGoalValues(int[]) - Method in interface org.eclipse.palamedes.gdl.core.model.IGameState

Sets the goal value of the game state.

setGoalValues(int[]) - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractState

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

setInput(Object) - Method in class org.eclipse.palamedes.ui.pages.ast.ASTContentOutlinePage

setInput(Object) - Method in class org.eclipse.palamedes.ui.pages.game.GameContentOutlinePage

setInput(Object) - Method in class org.eclipse.palamedes.ui.pages.knowledgebase.KBPage

setInput(Object) - Method in class org.eclipse.palamedes.ui.pages.outline.COPage

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

setLeadingComment(String) - Method in class org.eclipse.palamedes.kif.core.ast.KIFSent

setLegalMoves(IMove[][]) - Method in interface org.eclipse.palamedes.gdl.core.model.IGameState

Sets the legal moves for this game state.

setLegalMoves(IMove[][]) - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractState

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

setMoves(String[]) - Method in class org.eclipse.palamedes.gdl.connection.Message

setName(String) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.Stylesheet

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

setOptions(Map<String, String>) - Method in class org.eclipse.palamedes.gdl.connection.PlayerServer

This method is a hook to setup any relevant commandline option within the player server or player.

setPath(String) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.Stylesheet

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

setPlayTimes(int[]) - Method in class org.eclipse.palamedes.gdl.core.simulation.SimulationSettings

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

Sets whether this game nodes content should be preserved even in the case of compacting the game tree.

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

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

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

setSelection(ISelection) - Method in class org.eclipse.palamedes.ui.views.knowledgebase.KnowledgeBasePage

setSelection(ISelection) - Method in class org.eclipse.palamedes.ui.views.knowledgebase.KnowledgeBaseView

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

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

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

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

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

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

setStartTimes(int[]) - Method in class org.eclipse.palamedes.gdl.core.simulation.SimulationSettings

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

Sets the associated game state

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

setStrategies(IStrategy[]) - Method in class org.eclipse.palamedes.gdl.core.simulation.SimulationSettings

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

Sets the template encapsulated by the receiver.

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

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

Sets the terminal flag of the state.

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

Announces a terminal state.

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

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

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

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

setup(IDocument) - Method in class org.eclipse.palamedes.ui.editor.sourcecode.DocumentSetupParticipant

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

SFactory - Class in org.eclipse.palamedes.ui.utils

SFactory() - Constructor for class org.eclipse.palamedes.ui.utils.SFactory

SHOW_STEP1 - Static variable in class org.eclipse.palamedes.ui.editor.rulegraph.RuleGraphCreator

SHOW_STEP2a - Static variable in class org.eclipse.palamedes.ui.editor.rulegraph.RuleGraphCreator

SHOW_STEP2b - Static variable in class org.eclipse.palamedes.ui.editor.rulegraph.RuleGraphCreator

SHOW_STEP3 - Static variable in class org.eclipse.palamedes.ui.editor.rulegraph.RuleGraphCreator

showGameNodePath(IGameNode) - Static method in class org.eclipse.palamedes.gdl.core.model.utils.Game

showPageRec(PageBookView.PageRec) - Method in class org.eclipse.palamedes.ui.views.knowledgebase.KnowledgeBaseView

The KnowledgeBase implementation of this PageBookView method extends the behavior of its parent to use the current page as a selection provider.

SimulationContentProvider - Class in org.eclipse.palamedes.ui.editor.simulation

SimulationContentProvider() - Constructor for class org.eclipse.palamedes.ui.editor.simulation.SimulationContentProvider

SimulationLabelProvider - Class in org.eclipse.palamedes.ui.editor.simulation

SimulationLabelProvider() - Constructor for class org.eclipse.palamedes.ui.editor.simulation.SimulationLabelProvider

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

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

SimulationSettings(IStrategy[], int[], int[]) - Constructor for class org.eclipse.palamedes.gdl.core.simulation.SimulationSettings

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

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

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

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

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

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

SimulatorUI - Class in org.eclipse.palamedes.ui.editor.simulation

SimulatorUI(Composite, int) - Constructor for class org.eclipse.palamedes.ui.editor.simulation.SimulatorUI

size() - Method in class org.eclipse.palamedes.gdl.core.model.utils.JoinedList

slaveMode - Variable in class org.eclipse.palamedes.gdl.connection.PlayerServer

SMonteCarlo - Class in org.eclipse.palamedes.gdl.core.simulation.strategies

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

SMonteCarloUCT - Class in org.eclipse.palamedes.gdl.core.simulation.strategies

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

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

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

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

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

Configuration for an SourceViewer which shows GDL code.

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

Default constructor.

SPage - Class in org.eclipse.palamedes.ui.pages.statistic

SPage() - Constructor for class org.eclipse.palamedes.ui.pages.statistic.SPage

SRandom - Class in org.eclipse.palamedes.gdl.core.simulation.strategies

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

start(BundleContext) - Method in class org.eclipse.palamedes.ui.PalamedesUI

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

Indicates start production.

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

Indicates start state.

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

Starts listening for property changes on the preference store.

STATE - Static variable in class org.eclipse.palamedes.gdl.core.simulation.StepInfo

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

StateAdapter(GameState) - Constructor for class org.eclipse.palamedes.gdl.core.resolver.javaprover.StateAdapter

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

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

StatisticPage - Class in org.eclipse.palamedes.ui.views.statistic

StatisticPage() - Constructor for class org.eclipse.palamedes.ui.views.statistic.StatisticPage

Create a new statistic page.

StatisticView - Class in org.eclipse.palamedes.ui.views.statistic

StatisticView() - Constructor for class org.eclipse.palamedes.ui.views.statistic.StatisticView

STATS - Static variable in class org.eclipse.palamedes.gdl.core.simulation.StepInfo

status - Variable in class org.eclipse.palamedes.gdl.connection.Response

HTTP status code after processing, e.g. "200 OK", HTTP_OK

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

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

STEP - Static variable in class org.eclipse.palamedes.gdl.core.simulation.StepInfo

StepCounterFilter - Class in org.eclipse.palamedes.gdl.core.knowledgebase.filter

StepCounterFilter() - Constructor for class org.eclipse.palamedes.gdl.core.knowledgebase.filter.StepCounterFilter

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

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

stop(BundleContext) - Method in class org.eclipse.palamedes.ui.PalamedesUI

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

Stops the auto-updating behavior started by calling StylesheetStore.startListeningForPreferenceChanges().

STR_ERROR1 - Static variable in class org.eclipse.palamedes.gdl.connection.Player

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

The Strategy Factory is responsible for creating strategy objects on demand.

StrategyFactoryPreferencePage - Class in org.eclipse.palamedes.ui.preferences.factories

StrategyFactoryPreferencePage() - Constructor for class org.eclipse.palamedes.ui.preferences.factories.StrategyFactoryPreferencePage

structure - Variable in class org.eclipse.palamedes.gdl.core.model.utils.GameNodeTree

Mapping ParentNode -> [ChildNode]*

Stylesheet - Class in org.eclipse.palamedes.ui.preferences.stylesheets

A style sheet consisting of a name and a XSL string.

Stylesheet(Stylesheet) - Constructor for class org.eclipse.palamedes.ui.preferences.stylesheets.Stylesheet

Stylesheet(String, String, String, String) - Constructor for class org.eclipse.palamedes.ui.preferences.stylesheets.Stylesheet

StylesheetContentProvider - Class in org.eclipse.palamedes.ui.preferences.stylesheets

A content provider for the style sheet preference page's table viewer.

StylesheetContentProvider() - Constructor for class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetContentProvider

StylesheetEditDialog - Class in org.eclipse.palamedes.ui.preferences.stylesheets

StylesheetEditDialog(Shell, Stylesheet, boolean, boolean) - Constructor for class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetEditDialog

Creates a new dialog.

StylesheetPersistenceData - Class in org.eclipse.palamedes.ui.preferences.stylesheets

StylesheetPersistenceData stores information about a style sheet.

StylesheetPersistenceData(Stylesheet, boolean) - Constructor for class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetPersistenceData

Creates a new, user-added instance that is not linked to a contributed style sheet.

StylesheetPersistenceData(Stylesheet, boolean, String) - Constructor for class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetPersistenceData

Creates a new instance.

StylesheetPersistenceMessages - Class in org.eclipse.palamedes.ui.preferences.stylesheets

StylesheetPreferencePage - Class in org.eclipse.palamedes.ui.preferences.stylesheets

StylesheetPreferencePage() - Constructor for class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetPreferencePage

StylesheetReaderWriter - Class in org.eclipse.palamedes.ui.preferences.stylesheets

Serializes style sheet as character or byte stream and reads the same format back.

StylesheetReaderWriter() - Constructor for class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetReaderWriter

Create a new instance.

StylesheetStore - Class in org.eclipse.palamedes.ui.preferences.stylesheets

A collection of style sheets.

StylesheetStore(IPreferenceStore, String) - Constructor for class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetStore

Creates a new style sheet store.