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

java.lang.Object
  org.eclipse.palamedes.gdl.core.model.utils.AbstractState<cs227b.teamIago.util.GameState>
      org.eclipse.palamedes.gdl.core.resolver.javaprover.StateAdapter

All Implemented Interfaces:

IGameState

public class StateAdapter
extends AbstractState<cs227b.teamIago.util.GameState>

Field Summary

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

fluentMap, fluents, nativeState

Constructor Summary

StateAdapter(cs227b.teamIago.util.GameState objState)

Method Summary

void	initFluentList()
java.lang.String	toString()

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

equals, getCombinedLegalMoves, getFluentByName, getFluentNames, getFluents, getGoalValue, getGoalValues, getLegalMoves, getNativeState, hashCode, isTerminal, setGoalValues, setLegalMoves, setTerminal

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

StateAdapter

public StateAdapter(cs227b.teamIago.util.GameState objState)

Method Detail

initFluentList

public void initFluentList()

Specified by:

initFluentList in class AbstractState<cs227b.teamIago.util.GameState>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object