ix.ip2
Class Ip2ModelManager

java.lang.Object
  |
  +--ix.icore.process.ProcessModelManager
        |
        +--ix.ip2.Ip2ModelManager

public class Ip2ModelManager
extends ProcessModelManager


Inner Class Summary
protected  class Ip2ModelManager.BindingSentinel
          A sentinel that lets an activity become complete when all the variables in its effects have values.
 
Inner classes inherited from class ix.icore.process.ProcessModelManager
ProcessModelManager.MakeVarIfUnbound, ProcessModelManager.Sentinel
 
Field Summary
protected  MultiMap nodeToConditions
           
protected  MultiMap nodeToEffects
           
static Symbol S_CONDITION
           
static Symbol S_EFFECT
           
static Symbol S_WORLD_STATE
           
protected  WorldState worldState
           
 
Fields inherited from class ix.icore.process.ProcessModelManager
nodes, processStatusListeners, sentinels, varEnv
 
Constructor Summary
Ip2ModelManager()
           
 
Method Summary
 void addConstraint(Constraint c)
           
protected  void addConstraint(PNode node, Constraint c)
           
 MatchEnv evalFilters(java.util.List conds, MatchEnv env)
           
protected  MatchEnv filter(PatternAssignment pv, LList conds, MatchEnv baseEnv)
           
protected  java.util.Set getVarsFromConstraints(java.util.List pv_pairs)
           
protected  void handleCompletion(PNode node)
           
protected  void handleEffects(java.util.List effects)
           
protected  void handleEffects(PNode node, java.util.List effects)
           
protected  MatchEnv matchFilter(PatternAssignment pv, java.util.Map.Entry entry, MatchEnv baseEnv)
           
 void newBindings(java.util.Map bindings)
          Tells the model manager to bind the indicated variables.
 void reset()
           
 void statusChanged(PNode node)
          Called by a node when its status changes.
 
Methods inherited from class ix.icore.process.ProcessModelManager
addConstraints, addNode, addProcessStatusListener, addSentinel, fireNewBindings, fireStateChange, fireStatusUpdate, putVariablesInPattern, removeSentinel, runSentinels
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

S_WORLD_STATE

public static final Symbol S_WORLD_STATE

S_CONDITION

public static final Symbol S_CONDITION

S_EFFECT

public static final Symbol S_EFFECT

nodeToConditions

protected MultiMap nodeToConditions

nodeToEffects

protected MultiMap nodeToEffects

worldState

protected WorldState worldState
Constructor Detail

Ip2ModelManager

public Ip2ModelManager()
Method Detail

reset

public void reset()
Overrides:
reset in class ProcessModelManager

newBindings

public void newBindings(java.util.Map bindings)
Description copied from class: ProcessModelManager
Tells the model manager to bind the indicated variables. This is the only way in which values should ever be assigned.
Overrides:
newBindings in class ProcessModelManager
Following copied from class: ix.icore.process.ProcessModelManager
See Also:
Variable

addConstraint

public void addConstraint(Constraint c)
Overrides:
addConstraint in class ProcessModelManager

addConstraint

protected void addConstraint(PNode node,
                             Constraint c)
Overrides:
addConstraint in class ProcessModelManager

evalFilters

public MatchEnv evalFilters(java.util.List conds,
                            MatchEnv env)
Overrides:
evalFilters in class ProcessModelManager

filter

protected MatchEnv filter(PatternAssignment pv,
                          LList conds,
                          MatchEnv baseEnv)

matchFilter

protected MatchEnv matchFilter(PatternAssignment pv,
                               java.util.Map.Entry entry,
                               MatchEnv baseEnv)

statusChanged

public void statusChanged(PNode node)
Description copied from class: ProcessModelManager
Called by a node when its status changes.
Overrides:
statusChanged in class ProcessModelManager

handleCompletion

protected void handleCompletion(PNode node)

handleEffects

protected void handleEffects(PNode node,
                             java.util.List effects)

handleEffects

protected void handleEffects(java.util.List effects)

getVarsFromConstraints

protected java.util.Set getVarsFromConstraints(java.util.List pv_pairs)