org.eclipse.palamedes.gdl.core.resolver.javaprover
Class GameJP

java.lang.Object
  org.eclipse.palamedes.gdl.core.model.utils.Game
      org.eclipse.palamedes.gdl.core.resolver.javaprover.GameJP

All Implemented Interfaces:

IGame

public class GameJP
extends Game

Field Summary

Fields inherited from class org.eclipse.palamedes.gdl.core.model.utils.Game

initNode, kb, random, reasoner, roleNames, sourceGDL, tree

Constructor Summary

GameJP()

Method Summary

void	init(java.lang.String gdl) Initialises a game object.

Methods inherited from class org.eclipse.palamedes.gdl.core.model.utils.Game

getCombinedMoves, getGoalValues, getInitialNode, getKnowledgeBase, getLegalMoves, getMaxSteps, getNextNode, getPerftValue, getRandomMove, getReasoner, getRoleCount, getRoleIndex, getRoleNames, getSourceGDL, getState, getStatistic, getTree, init, isTerminal, regenerateNode, showGameNodePath

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GameJP

public GameJP()

Method Detail

init

public void init(java.lang.String gdl)

Description copied from interface: IGame

Initialises a game object. This method gets called by the game factory while creating the game.