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.ip2
Class Ip2ModelManager

    java.lang.Object
      ix.icore.AbstractAnnotatedObject
          ix.util.context.ContextAnnotatedObject
              ix.icore.process.AbstractPMM
                  ix.ip2.Ip2ModelManager

All Implemented Interfaces:
  Annotated, ProcessModelManager, java.io.Serializable

Direct Known Subclasses:
  IPlanModelManager

    public class Ip2ModelManager

extends AbstractPMM

See Also:
  Serialized Form

Nested Class Summary
`protected class` | `Ip2ModelManager.BindingSentinel` A sentinel that lets an activity become complete when all the variables in its effects have values.

Nested classes/interfaces inherited from class ix.icore.process.AbstractPMM
`AbstractPMM.Sentinel`

Field Summary
`protected AdviceManager` | `adviceManager`
`protected java.lang.Object` | `computeSupportCode`
`protected Ip2` | `ip2`
`protected ContextMultiMap` | `nodeFilterConstraints`
`protected LLQueue` | `nodes`
`protected LLQueue` | `otherConstraints`
`protected ContextMultiMap` | `otherNodeConstraints`
`protected static Symbol` | `S_COMPUTE_SUPPORT_CODE`
`static Symbol` | `S_CONDITION`
`static Symbol` | `S_EFFECT`
`static Symbol` | `S_WORLD_STATE`
`protected LLQueue` | `sentinels`
`protected TimePointNet` | `tpnm`
`protected ContextHashMap` | `varEnv`
`protected VariableManager` | `variableManager`
`protected Ip2WorldStateManager` | `worldStateCM`

Fields inherited from class ix.icore.AbstractAnnotatedObject
`annotationListeners, annotations`

Constructor Summary
`Ip2ModelManager(Ip2 ip2)`

Method Summary
`void` | `addConstraint(Constrainer c)`
`void` | `addConstraint(java.util.Map idToItemMap, Constrainer c)`
`void` | `addConstraint(PNode node, Constraint c)`
`MatchChoice` | `addMatchChoice(java.util.List envs)`
`void` | `addNode(PNode node)`
`void` | `addNodesBefore(PNode at, java.util.List addList)`
`void` | `addOrderingsAsTimeConstraints(PNode node, java.util.Map nameToChild, ix.icore.domain.ListOfOrdering orderings)`
`void` | `addSentinel(AbstractPMM.Sentinel r)`
`void` | `addVariable(Variable v)`
`void` | `beginUndoableTransaction(java.lang.String note)`
`void` | `bindVariables(java.util.Map bindings)` Assigns values to `Variable`s.
`void` | `clear()`
`void` | `deleteConstraint(Constraint c)`
`protected void` | `deleteEffect(PatternAssignment pv)`
`void` | `endUndoableTransaction(java.lang.String note)`
`java.util.List` | `evalFilters(ix.icore.domain.ListOfConstraint conds, MatchEnv env)`
`void` | `executeRefinementEffects(Refinement r, MatchEnv env)` Applies the `world-state effect`s specified by the refinement, changing the current world state.
`Refinement` | `fillInRefinement(Refinement r, MatchEnv env)` Returns a copy of the refinement in which each `ItemVar` that appears in the refinement is replaced the value, if any, that it has in the MatchEnv.
`(package private) void` | `forcedBindings(MatchEnv forced)`
`AdviceManager` | `getAdviceManager()`
`protected java.lang.Object` | `getAnyNewComputeSupportCode()`
`ComputeInterpreter` | `getComputeInterpreter()`
`ix.icore.domain.ListOfConstraint` | `getNodeConditions(PNode node)`
`java.util.List` | `getNodeEffects(PNode node)`
`java.util.List` | `getNodeEnds()`
`ix.icore.domain.ListOfConstraint` | `getNodeFilters(PNode node)`
`java.util.List` | `getNodes()`
`java.util.List` | `getOtherConstraints()`
`protected java.util.List` | `getOtherNodeConstraints(PNode node)`
`Plan` | `getPlan()`
`protected java.util.List` | `getSentinels()`
`protected TimePointNet` | `getTPNManager()`
`java.util.Map` | `getVarEnv()`
`Variable` | `getVariable(java.lang.Object name)`
`VariableManager` | `getVariableManager()`
`java.util.Map` | `getWorldStateMap()`
`java.lang.Object` | `getWorldStateValue(LList pattern)`
`protected void` | `handleCompletion(PNode node)`
`protected void` | `handleEffects(java.util.List effects)`
`protected void` | `handleEffects(PNode node, java.util.List effects)`
`void` | `loadAnyNewComputeSupportCode()`
`void` | `logBindings(java.util.Map bindings)`
`protected AdviceManager` | `makeAdviceManager()`
`protected ComputeInterpreter` | `makeComputeInterpreter()`
`protected TimePointNet` | `makeTPNManager()`
`protected VariableManager` | `makeVariableManager()`
`protected Ip2WorldStateManager` | `makeWorldStateManager()`
`void` | `markUndoPoint(java.lang.String note)`
`protected void` | `postProcessInstalledPlan(PlanInstaller pi)`
`java.util.List` | `reevaluateFilters(ix.icore.domain.ListOfConstraint conds)`
`void` | `removeNode(PNode node)`
`void` | `removeSentinel(AbstractPMM.Sentinel r)`
`void` | `reset()`
`java.util.List` | `satisfyRefinementPreconditions(Activity act, Refinement r)` Returns a list of `MatchEnv`s containing one env for each way in which all of the refinement's preconditions can be satisfied by the curent world state.
`void` | `saveUndoAction(UndoAction un)`
`void` | `setAnnotation(java.lang.Object key, java.lang.Object value)`
`void` | `setPlan(Plan plan)`
`void` | `setWorldStateMap(java.util.Map m)`
`void` | `statusChanged(PNode node)` Called by a node when its status changes.
`ix.icore.domain.ListOfConstraint` | `testFilters(ix.icore.domain.ListOfConstraint conds, MatchEnv env)`
`void` | `undo()`
`void` | `undoableTransaction(java.lang.String note, java.lang.Runnable r)` Packages an undoable transaction as one method call.
`boolean` | `undoIsEnabled()`
`void` | `walkNodeChildren(ActivityItem item, Proc walker)`
`void` | `walkNodeEnds(Proc p)`
`void` | `walkNodes(Proc p)`
`void` | `walkTopNodes(Proc walker)`

Methods inherited from class ix.icore.process.AbstractPMM
`addConstraints, addConstraints, addProcessStatusListener, fireNewBindings, fireStateChange, fireStateDeletion, fireStatusUpdate, getConstraintManager, getConstraintManager, putVariablesInPattern, registerConstraintManager, runSentinels`

Methods inherited from class ix.util.context.ContextAnnotatedObject
`annMap, clearAnnotationsCompletely, makeAnnMap`

Methods inherited from class ix.icore.AbstractAnnotatedObject
`addAnnotationListener, clearAnnotations, fireSetAnnotation, getAnnotation, getAnnotations, getComments, removeAnnotation, setAnnotations, setComments, takeAnnotations`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Methods inherited from interface ix.icore.Annotated
`addAnnotationListener, clearAnnotations, fireSetAnnotation, getAnnotation, getAnnotations, removeAnnotation, setAnnotations, takeAnnotations`

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

### S_COMPUTE_SUPPORT_CODE

    protected static final Symbol S_COMPUTE_SUPPORT_CODE

### ip2

    protected Ip2 ip2

### nodes

    protected LLQueue nodes

### varEnv

    protected ContextHashMap varEnv

### sentinels

    protected LLQueue sentinels

### variableManager

    protected VariableManager variableManager

### worldStateCM

    protected Ip2WorldStateManager worldStateCM

### tpnm

    protected TimePointNet tpnm

### adviceManager

    protected AdviceManager adviceManager

### otherConstraints

    protected LLQueue otherConstraints

### nodeFilterConstraints

    protected ContextMultiMap nodeFilterConstraints

### otherNodeConstraints

    protected ContextMultiMap otherNodeConstraints

### computeSupportCode

    protected java.lang.Object computeSupportCode

Constructor Detail

### Ip2ModelManager

    public Ip2ModelManager(Ip2 ip2)

Method Detail

### reset

    public void reset()

### clear

    public void clear()

### getVariableManager

    public VariableManager getVariableManager()

### makeVariableManager

    protected VariableManager makeVariableManager()

### makeWorldStateManager

    protected Ip2WorldStateManager makeWorldStateManager()

### makeTPNManager

    protected TimePointNet makeTPNManager()

### getTPNManager

    protected TimePointNet getTPNManager()

### makeAdviceManager

    protected AdviceManager makeAdviceManager()

### getAdviceManager

    public AdviceManager getAdviceManager()

### makeComputeInterpreter

    protected ComputeInterpreter makeComputeInterpreter()

### getComputeInterpreter

    public ComputeInterpreter getComputeInterpreter()

### addVariable

    public void addVariable(Variable v)

### getVariable

    public Variable getVariable(java.lang.Object name)

### getVarEnv

    public java.util.Map getVarEnv()

### addNode

    public void addNode(PNode node)

### removeNode

    public void removeNode(PNode node)

### addNodesBefore

    public void addNodesBefore(PNode at,
                               java.util.List addList)

### getNodes

    public java.util.List getNodes()

### walkNodes

    public void walkNodes(Proc p)

### walkTopNodes

    public void walkTopNodes(Proc walker)

### walkNodeChildren

    public void walkNodeChildren(ActivityItem item,
                                 Proc walker)

### walkNodeEnds

    public void walkNodeEnds(Proc p)

### getNodeEnds

    public java.util.List getNodeEnds()

### bindVariables

    public void bindVariables(java.util.Map bindings)

  Assigns values to `Variable`s. Assignments must go through this method rather than directly calling `Variable.setValue(Object)`.

  See Also:
    `Variable`

### forcedBindings

    void forcedBindings(MatchEnv forced)

### addConstraint

    public void addConstraint(Constrainer c)

### logBindings

    public void logBindings(java.util.Map bindings)

### addConstraint

    public void addConstraint(java.util.Map idToItemMap,
                              Constrainer c)

### addConstraint

    public void addConstraint(PNode node,
                              Constraint c)

### addOrderingsAsTimeConstraints

    public void addOrderingsAsTimeConstraints(PNode node,
                                              java.util.Map nameToChild,
                                              ix.icore.domain.ListOfOrdering orderings)

### deleteConstraint

    public void deleteConstraint(Constraint c)

### getNodeConditions

    public ix.icore.domain.ListOfConstraint getNodeConditions(PNode node)

### getNodeFilters

    public ix.icore.domain.ListOfConstraint getNodeFilters(PNode node)

### getNodeEffects

    public java.util.List getNodeEffects(PNode node)

### getOtherNodeConstraints

    protected java.util.List getOtherNodeConstraints(PNode node)

### getOtherConstraints

    public java.util.List getOtherConstraints()

### getWorldStateMap

    public java.util.Map getWorldStateMap()

### setWorldStateMap

    public void setWorldStateMap(java.util.Map m)

### getWorldStateValue

    public java.lang.Object getWorldStateValue(LList pattern)

### loadAnyNewComputeSupportCode

    public void loadAnyNewComputeSupportCode()

### getAnyNewComputeSupportCode

    protected java.lang.Object getAnyNewComputeSupportCode()

### setAnnotation

    public void setAnnotation(java.lang.Object key,
                              java.lang.Object value)

  Specified by:
    `setAnnotation` in interface `Annotated`
  Overrides:
    `setAnnotation` in class `AbstractAnnotatedObject`

### undoIsEnabled

    public boolean undoIsEnabled()

### undo

    public void undo()

### markUndoPoint

    public void markUndoPoint(java.lang.String note)

### saveUndoAction

    public void saveUndoAction(UndoAction un)

### undoableTransaction

    public void undoableTransaction(java.lang.String note,
                                    java.lang.Runnable r)

  Packages an undoable transaction as one method call.

  An alternative is to write a try-finally "by hand". It should look like this:

        Ip2ModelManager mm = ...;
        ...

        mm.beginUndoableTransaction("Note");
        try {
            ... undoable operations ...
        }
        finally {
            mm.endUndoableTransaction("Note");
        }

### beginUndoableTransaction

    public void beginUndoableTransaction(java.lang.String note)

### endUndoableTransaction

    public void endUndoableTransaction(java.lang.String note)

### evalFilters

    public java.util.List evalFilters(ix.icore.domain.ListOfConstraint conds,
                                      MatchEnv env)

### testFilters

    public ix.icore.domain.ListOfConstraint testFilters(ix.icore.domain.ListOfConstraint conds,
                                                        MatchEnv env)

### reevaluateFilters

    public java.util.List reevaluateFilters(ix.icore.domain.ListOfConstraint conds)

### addMatchChoice

    public MatchChoice addMatchChoice(java.util.List envs)

### statusChanged

    public void statusChanged(PNode node)

  Description copied from interface: `ProcessModelManager`
  Called by a node when its status changes.

### handleCompletion

    protected void handleCompletion(PNode node)

### handleEffects

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

### handleEffects

    protected void handleEffects(java.util.List effects)

### deleteEffect

    protected void deleteEffect(PatternAssignment pv)

### satisfyRefinementPreconditions

    public java.util.List satisfyRefinementPreconditions(Activity act,
                                                         Refinement r)

  Returns a list of `MatchEnv`s containing one env for each way in which all of the refinement's preconditions can be satisfied by the curent world state. The preconditions are the `world-state condition` constraints, and the `compute` constraints, listed in the refinement. Each MatchEnv will also contain any bindings obtained by matching the activity's pattern to to the refinement's. Note that the list will be empty if the preconditions could not be satisfied.

  Returns:
    null if the refinement's pattern does not match the activity's; otherwise, a possibly empty list of MatchEnvs as described above.

### fillInRefinement

    public Refinement fillInRefinement(Refinement r,
                                       MatchEnv env)

  Returns a copy of the refinement in which each `ItemVar` that appears in the refinement is replaced the value, if any, that it has in the MatchEnv.

  Throws:
    `MissingValuesException` - if any variables in the refinement did not have values.

### executeRefinementEffects

    public void executeRefinementEffects(Refinement r,
                                         MatchEnv env)

  Applies the `world-state effect`s specified by the refinement, changing the current world state. The MatchEnv should be one that satisfies the refinement's preconditions, such as one obtained by calling `satisfyRefinementPreconditions(Activity, Refinement)`. All variables in the refinement should have been replaced by values as specified by the MatchEnv. That can be done by calling `fillInRefinement(Refinement, MatchEnv)` on the original refinement as obtained from a domain.

  In addition to changing the world state, this method will assign values to any Variables listed in the MatchEnv.

### getPlan

    public Plan getPlan()

### setPlan

    public void setPlan(Plan plan)

### postProcessInstalledPlan

    protected void postProcessInstalledPlan(PlanInstaller pi)

### addSentinel

    public void addSentinel(AbstractPMM.Sentinel r)

  Specified by:
    `addSentinel` in class `AbstractPMM`

### removeSentinel

    public void removeSentinel(AbstractPMM.Sentinel r)

  Specified by:
    `removeSentinel` in class `AbstractPMM`

### getSentinels

    protected java.util.List getSentinels()

  Specified by:
    `getSentinels` in class `AbstractPMM`

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