Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD