ix.iplan
Class IPlanWorldStateManager

java.lang.Object
  extended by ix.ip2.Ip2WorldStateManager
      extended by 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