org.eclipse.palamedes.gdl.core.resolver.prologprover
Class GameProlog

java.lang.Object
  org.eclipse.palamedes.gdl.core.model.utils.Game
      org.eclipse.palamedes.gdl.core.resolver.prologprover.GameProlog

All Implemented Interfaces:

IGame

public final class GameProlog
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

GameProlog()

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

GameProlog

public GameProlog()

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.