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

R

random - Static variable in class org.eclipse.palamedes.gdl.core.model.utils.Game

A random number generator.

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

A random number generator.

random - Static variable in class org.eclipse.palamedes.gdl.core.simulation.strategies.FringeFrame

A random number generator.

read(InputStream, ResourceBundle) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetReaderWriter

Reads style sheet from a stream and adds them to the style sheets.

read(Reader) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetReaderWriter

Reads style sheets from a reader and returns them.

read(Reader, ResourceBundle) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetReaderWriter

Reads style sheet from a stream and adds them to the style sheets.

readSingle(Reader, String) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetReaderWriter

Reads the style sheet with identifier id from a reader and returns it.

realMatch - Variable in class org.eclipse.palamedes.gdl.connection.Player

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

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

ReasonerAdapter(String) - Constructor for class org.eclipse.palamedes.gdl.core.resolver.javaprover.ReasonerAdapter

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

ReasonerAdapter(String) - Constructor for class org.eclipse.palamedes.gdl.core.resolver.jocular.ReasonerAdapter

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

ReasonerAdapter(String) - Constructor for class org.eclipse.palamedes.gdl.core.resolver.prologprover.ReasonerAdapter

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

Access to reduce_goto table.

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

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

refreshVisuals() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.part.EPBasicNode

refreshVisuals() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.part.EPComplexNode

refreshVisuals() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.part.EPEdge

refreshVisuals() - Method in class org.eclipse.palamedes.ui.editor.rulegraph.part.EPRootNode

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

This method regenerates the game states if the game node lost its state information for one reason or another.

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

RelationFilter - Class in org.eclipse.palamedes.kif.core.knowledgebase.filter

RelationFilter() - Constructor for class org.eclipse.palamedes.kif.core.knowledgebase.filter.RelationFilter

reliability - Variable in class org.eclipse.palamedes.gdl.core.simulation.strategies.AbstractStrategy

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

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

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

removeDescription(AbstractFactory.FactoryDescription) - Method in class org.eclipse.palamedes.gdl.core.model.utils.AbstractFactory

This method removes the given description from the factory.

removeListener(ILabelProviderListener) - Method in class org.eclipse.palamedes.ui.editor.gametree.GameLabelProvider

removeListener(ILabelProviderListener) - Method in class org.eclipse.palamedes.ui.editor.simulation.SimulationLabelProvider

removeListener(ILabelProviderListener) - Method in class org.eclipse.palamedes.ui.pages.ast.ASTLabelProvider

removeListener(ILabelProviderListener) - Method in class org.eclipse.palamedes.ui.pages.game.GameLabelProvider

removeListener(ILabelProviderListener) - Method in class org.eclipse.palamedes.ui.pages.knowledgebase.KBLabelProvider

removeListener(ILabelProviderListener) - Method in class org.eclipse.palamedes.ui.pages.outline.COLabelProvider

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

removeSelectionChangedListener(ISelectionChangedListener) - Method in class org.eclipse.palamedes.ui.views.knowledgebase.KnowledgeBaseView

replace(T, T) - Method in class org.eclipse.palamedes.kif.core.ast.KIFSeq

replace(T, List<T>) - Method in class org.eclipse.palamedes.kif.core.ast.KIFSeq

report_error(String, Object) - Method in class org.eclipse.palamedes.kif.core.parser.KIFParser

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

Creates the matches and initializes the runtime information

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

Creates the matches and initializes the runtime information

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

This method resets the interruption flag back to false value.

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

Closes all project files on project close.

Response - Class in org.eclipse.palamedes.gdl.connection

HTTP response.

Response() - Constructor for class org.eclipse.palamedes.gdl.connection.Response

Default constructor: response = HTTP_OK, data = mime = 'null'

Response(String, String, InputStream) - Constructor for class org.eclipse.palamedes.gdl.connection.Response

Basic constructor.

Response(String, String, String) - Constructor for class org.eclipse.palamedes.gdl.connection.Response

Convenience method that makes an InputStream out of given text.

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

Deletes all user-added templates and reverts all contributed templates.

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

Restores all contributed templates that have been deleted.

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

Reverts the template to its original setting.

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

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

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

A rule is an implication of the form h <= b_1 ∧ ...

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

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

RuleGraphCreator - Class in org.eclipse.palamedes.ui.editor.rulegraph

RuleGraphCreator() - Constructor for class org.eclipse.palamedes.ui.editor.rulegraph.RuleGraphCreator

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

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

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

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

run() - Method in class org.eclipse.palamedes.gdl.core.simulation.TimerThread

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