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

P

P_ARITY - Static variable in class org.eclipse.palamedes.kif.core.knowledgebase.KBEntry

Property name for arity

P_BOOLEAN - Static variable in class org.eclipse.palamedes.ui.preferences.PreferenceConstants

P_IMP_BODY - Static variable in class org.eclipse.palamedes.kif.core.knowledgebase.KBEntry

Property name for <

P_IMP_HEAD - Static variable in class org.eclipse.palamedes.kif.core.knowledgebase.KBEntry

Property name for <

P_NAME - Static variable in class org.eclipse.palamedes.kif.core.knowledgebase.KBEntry

Property name for name

P_NODES - Static variable in class org.eclipse.palamedes.kif.core.knowledgebase.KBEntry

Property name for <

P_NOTATION - Static variable in class org.eclipse.palamedes.ui.preferences.PreferenceConstants

P_PATH - Static variable in class org.eclipse.palamedes.ui.preferences.PreferenceConstants

P_STRING - Static variable in class org.eclipse.palamedes.ui.preferences.PreferenceConstants

P_TOP_LEVEL_NODES - Static variable in class org.eclipse.palamedes.kif.core.knowledgebase.KBEntry

Property name for <

P_TYPE - Static variable in class org.eclipse.palamedes.kif.core.knowledgebase.KBEntry

Property name for type

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

Calculates the contents of page 2 when the it is activated.

PalamedesUI - Class in org.eclipse.palamedes.ui

The activator class controls the plug-in life cycle

PalamedesUI() - Constructor for class org.eclipse.palamedes.ui.PalamedesUI

parseFile(String) - Method in class org.eclipse.palamedes.kif.core.ast.AST

parseFile(String) - Method in class org.eclipse.palamedes.kif.core.parser.Parser

Parses a file containing a GDL description into an expression list.

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

parseGDL(String) - Method in class org.eclipse.palamedes.kif.core.parser.Parser

Parses a string containing a GDL description into an expression list.

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

This method parses the message string into a message object.

Parser - Class in org.eclipse.palamedes.kif.core.parser

This is just a convenience class for all parsers generated by cups.

Parser() - Constructor for class org.eclipse.palamedes.kif.core.parser.Parser

Default constructor

Parser(AST) - Constructor for class org.eclipse.palamedes.kif.core.parser.Parser

Constructor that uses a special AST.

parseString(String) - Method in class org.eclipse.palamedes.kif.core.ast.AST

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

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

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

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

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

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

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

performFinish() - Method in class org.eclipse.palamedes.ui.wizards.NewGameWizard

This method is called when 'Finish' button is pressed in the wizard.

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

perftDepth - Static variable in class org.eclipse.palamedes.gdl.core.model.GameFactoryTest

perftThreshold - Static variable in class org.eclipse.palamedes.gdl.core.model.GameFactoryTest

PersistentToggleAction - Class in org.eclipse.palamedes.ui.actions

PersistentToggleAction(String, String, String, URL) - Constructor for class org.eclipse.palamedes.ui.actions.PersistentToggleAction

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

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

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

Stores the player of this server

Player.RealMatch - Class in org.eclipse.palamedes.gdl.connection

Player.RealMatch(String, IGame, IStrategy, String, int, int) - Constructor for class org.eclipse.palamedes.gdl.connection.Player.RealMatch

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

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

PlayerProxy(int, String[], int[]) - Constructor for class org.eclipse.palamedes.gdl.connection.PlayerProxy

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

PlayerServer(Player, Map<String, String>) - Constructor for class org.eclipse.palamedes.gdl.connection.PlayerServer

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

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

POSITIVE - Static variable in class org.eclipse.palamedes.ui.utils.SFactory

POSITIVE_NEGATIVE - Static variable in class org.eclipse.palamedes.ui.utils.SFactory

GameState Options

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

postVisitComplexNode(ASTNode) - Method in class org.eclipse.palamedes.ui.editor.rulegraph.RuleGraphCreator

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

PreferenceConstants - Class in org.eclipse.palamedes.ui.preferences

Constant definitions for plug-in preferences

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

PreferenceInitializer - Class in org.eclipse.palamedes.ui.preferences

Class used to initialize default preference values.

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

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

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

preVisitComplexNode(ASTNode) - Method in class org.eclipse.palamedes.kif.core.ast.visitor.ContainsChecker

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

preVisitComplexNode(ASTNode) - Method in class org.eclipse.palamedes.ui.editor.rulegraph.RuleGraphCreator

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

printUsage() - Static method in class org.eclipse.palamedes.gdl.connection.PlayerProxy

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

Access to production table.

PROLOGPROVER - Static variable in class org.eclipse.palamedes.gdl.core.model.GameFactory

propertyChange(PropertyChangeEvent) - Method in class org.eclipse.palamedes.ui.preferences.factories.StrategyFactoryPreferencePage

propertyChange(PropertyChangeEvent) - Method in class org.eclipse.palamedes.ui.preferences.GeneralPreferencePage

propertyChange(PropertyChangeEvent) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetEditDialog

put(String, Object) - Method in class org.eclipse.palamedes.kif.core.knowledgebase.KBEntry

Sets the property propertyName to the value propertyValue.

putTitle() - Static method in class org.eclipse.palamedes.gdl.core.simulation.SimulatorTest