ix.iplan
Class IPlanWorldStateManager

java.lang.Object
  ix.ip2.Ip2WorldStateManager
      ix.iplan.IPlanWorldStateManager

public class IPlanWorldStateManager
extends Ip2WorldStateManager

Stores the current world state and certain things about it.

Nested Class Summary

protected static class

IPlanWorldStateManager.Fact

Field Summary

protected ContextMap

patternToFactMap

Fields inherited from class ix.ip2.Ip2WorldStateManager

modelManager, nodeToConditions, nodeToEffects, S_CONDITION, S_EFFECT, S_WORLD_STATE, worldStateMap

Constructor Summary

IPlanWorldStateManager(Ip2ModelManager modelManager)

Method Summary

protected void	assign(LList p, java.lang.Object v, PNode at)
void	clear()
void	deleteEffect(PatternAssignment pv)
void	reset()
protected void	satisfy1Cond(LList p, java.lang.Object v, PNode at)
void	satisfyConds(PNode at, ix.icore.domain.ListOfConstraint conds, MatchEnv env)

Methods inherited from class ix.ip2.Ip2WorldStateManager

addConstraint, getNodeConditions, getNodeEffects, getPatternValue, getWorldStateMap, handleEffects, handleEffects, makeNodeConstraintsMap, makeWorldStateMap

Methods inherited from class java.lang.Object

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

Field Detail

patternToFactMap

protected ContextMap patternToFactMap

Constructor Detail

IPlanWorldStateManager

public IPlanWorldStateManager(Ip2ModelManager modelManager)

Method Detail

reset

public void reset()

Overrides:

reset in class Ip2WorldStateManager

clear

public void clear()

Overrides:

clear in class Ip2WorldStateManager

deleteEffect

public void deleteEffect(PatternAssignment pv)

Overrides:

deleteEffect in class Ip2WorldStateManager

satisfyConds

public void satisfyConds(PNode at,
                         ix.icore.domain.ListOfConstraint conds,
                         MatchEnv env)

satisfy1Cond

protected void satisfy1Cond(LList p,
                            java.lang.Object v,
                            PNode at)

assign

protected void assign(LList p,
                      java.lang.Object v,
                      PNode at)

Overrides:

assign in class Ip2WorldStateManager