Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
ix.util.match.MatchEnv

Packages that use MatchEnv
ix.icore | I-X core classes.
ix.icore.domain | Domain descriptions.
ix.icore.process | Classes for representing processes.
ix.iface.domain | Domain parsers and outputters.
ix.ip2 | I-X Process Panels
ix.iplan | The I-X planner.
ix.isim |
ix.isim.actions |
ix.util.match | Pattern-matching utilities.

Uses of MatchEnv in ix.icore

Methods in ix.icore with parameters of type MatchEnv
`Issue` | `Issue.instantiate(MatchEnv env, Function1 ifUnbound)`

Uses of MatchEnv in ix.icore.domain

Methods in ix.icore.domain with parameters of type MatchEnv
`Refinement` | `Refinement.instantiate(MatchEnv env)` Returns a copy of this refinement in which each `ItemVar` that has a value in the `MatchEnv` has been replaced by that value.
`Refinement` | `Refinement.instantiate(MatchEnv env, Function1 ifUnbound)` Returns a copy of this refinement in which each `ItemVar` that has a value in the `MatchEnv` has been replaced by that value.
`Constraint` | `Constraint.instantiate(MatchEnv env, Function1 ifUnbound)`
`java.lang.Object` | `Instantiable.instantiate(MatchEnv env, Function1 ifUnbound)`
`NodeSpec` | `NodeSpec.instantiate(MatchEnv env, Function1 ifUnbound)`
`PatternAssignment` | `PatternAssignment.instantiate(MatchEnv env, Function1 ifUnbound)`

Uses of MatchEnv in ix.icore.process

Methods in ix.icore.process with parameters of type MatchEnv
`java.util.List` | `ProcessModelManager.evalFilters(ix.icore.domain.ListOfConstraint conds, MatchEnv env)`
`java.util.Map` | `PNode.expandOneLevel(Refinement sourceRefinement, MatchEnv env)` Creates child nodes as specified by a refinement and installs ordering links.
`ix.icore.domain.ListOfConstraint` | `ProcessModelManager.testFilters(ix.icore.domain.ListOfConstraint conds, MatchEnv env)`

Uses of MatchEnv in ix.iface.domain

Methods in ix.iface.domain with parameters of type MatchEnv
`abstract Constraint` | `LTF_Parser.ConstraintParser.makeConstraint(LList spec, MatchEnv env)`

Uses of MatchEnv in ix.ip2

Fields in ix.ip2 declared as MatchEnv
`protected MatchEnv` | `UnsatisfiedConditionsUnreadyReason.condEnv`

Methods in ix.ip2 that return MatchEnv
`MatchEnv` | `UnsatisfiedConditionsUnreadyReason.getConditionEnv()`
`protected MatchEnv` | `ExpandHandler.ExpandAction.getInstantiationEnv()`
`protected MatchEnv` | `VariableManager.FilterMatcher.matchFilter(PatternAssignment pv, java.util.Map.Entry entry, MatchEnv baseEnv)`
`protected MatchEnv` | `ExpandHandler.matchRefinement(AgendaItem item, Refinement r)`
`MatchEnv` | `SendReportHandler.matchSyntax(LList pattern)`
`protected MatchEnv` | `VariableManager.noticeForcedBindings()` Called within the variable manager when it notices that some variables have only one possible value remaining.

Methods in ix.ip2 with parameters of type MatchEnv
`void` | `Ip2ModelManager.applyEnv(MatchEnv env)`
`boolean` | `VariableManager.consistentBindings(MatchEnv env)`
`protected java.lang.String` | `UnsatisfiedConditionsUnreadyReason.envDescription(MatchEnv env)`
`protected void` | `VariableManager.FilterMatcher.evalComputeFilter(Constraint c, LList restConds, MatchEnv baseEnv)`
`java.util.List` | `VariableManager.evalFilters(ix.icore.domain.ListOfConstraint conds, java.util.Map state, MatchEnv env)` Returns a list of MatchEnvs, one for each way in which all of the conditions can be satisfied together.
`java.util.List` | `Ip2ModelManager.evalFilters(ix.icore.domain.ListOfConstraint conds, MatchEnv env)`
`void` | `Ip2ModelManager.executeRefinementEffects(Refinement r, MatchEnv env)` Applies the `world-state effect`s specified by the refinement, changing the current world state.
`java.util.Map` | `IssueItem.expandOneLevel(Refinement refinement, MatchEnv env)`
`Refinement` | `Ip2ModelManager.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.
`protected void` | `VariableManager.FilterMatcher.filter(Constraint c, LList restConds, MatchEnv baseEnv)`
`protected void` | `Ip2ModelManager.forcedBindings(MatchEnv forced)`
`protected java.lang.Object` | `VariableManager.fullyInstantiate(java.lang.Object item, MatchEnv env)`
`protected ExpandHandler.ExpandAction` | `ExpandHandler.makeExpandAction(AgendaItem item, Refinement r, MatchEnv env)` Factory method that returns an instance of a suitable subclass of `ExpandHandler.ExpandAction`.
`protected void` | `VariableManager.FilterMatcher.matchComputeResult(Constraint c, java.lang.Object value, LList restConds, MatchEnv baseEnv)`
`protected MatchEnv` | `VariableManager.FilterMatcher.matchFilter(PatternAssignment pv, java.util.Map.Entry entry, MatchEnv baseEnv)`
`ix.icore.domain.ListOfConstraint` | `VariableManager.testFilters(ix.icore.domain.ListOfConstraint conds, java.util.Map state, MatchEnv env)` Returns a list of the conditions that can be satisfied individually.
`ix.icore.domain.ListOfConstraint` | `Ip2ModelManager.testFilters(ix.icore.domain.ListOfConstraint conds, MatchEnv env)`

Constructors in ix.ip2 with parameters of type MatchEnv
`UnsatisfiedConditionsUnreadyReason(HandlerAction action, java.util.List allConditions, java.util.List satisfiedConditions, MatchEnv condEnv)` Creates an unready reason for the specified action and conditions.

Uses of MatchEnv in ix.iplan

Methods in ix.iplan with parameters of type MatchEnv
`protected void` | `IPlanModelManager.forcedBindings(MatchEnv forced)`
`void` | `IPlanWorldStateManager.satisfyConds(PNode at, ix.icore.domain.ListOfConstraint conds, MatchEnv env)`

Uses of MatchEnv in ix.isim

Methods in ix.isim with parameters of type MatchEnv
`abstract void` | `ExecutableAction.executeAction(MatchEnv env)`

Uses of MatchEnv in ix.isim.actions

Methods in ix.isim.actions with parameters of type MatchEnv
`void` | `PointListMoveAction.executeAction(MatchEnv env)`
`void` | `SendMessage.executeAction(MatchEnv env)`
`void` | `SendConstraint.executeAction(MatchEnv env)`
`void` | `SendActivity.executeAction(MatchEnv env)`

Uses of MatchEnv in ix.util.match

Fields in ix.util.match declared as MatchEnv
`static MatchEnv` | `SimpleMatcher.emptyEnv` emptyEnv is used to return non-null without allocating an env.
`static MatchEnv` | `Matcher.emptyEnv` emptyEnv is used to return non-null without allocating an env.

Methods in ix.util.match that return MatchEnv
`static MatchEnv` | `SimpleMatcher.match(java.lang.Object pat, java.lang.Object dat)` Match tries to match a pattern against an object.
`static MatchEnv` | `Matcher.match(java.lang.Object pat, java.lang.Object dat)` Match tries to match a pattern against an object.
`static MatchEnv` | `SimpleMatcher.match(java.lang.Object pat, java.lang.Object dat, MatchEnv env)`
`static MatchEnv` | `Matcher.match(java.lang.Object pat, java.lang.Object dat, MatchEnv env)`
`static MatchEnv` | `SimpleMatcher.matchAnyPattern(java.util.List patterns, java.lang.Object data)`
`static MatchEnv` | `SimpleMatcher.matchAnyValue(java.lang.Object pat, java.util.List dataValues)`
`static MatchEnv` | `SimpleMatcher.mustMatch(java.lang.Object pat, java.lang.Object dat)`
`static MatchEnv` | `Matcher.mustMatch(java.lang.Object pat, java.lang.Object dat)`
`static MatchEnv` | `SimpleMatcher.mustMatch(java.lang.Object pat, java.lang.Object dat, MatchEnv env)`
`static MatchEnv` | `Matcher.mustMatch(java.lang.Object pat, java.lang.Object dat, MatchEnv env)`
`protected MatchEnv` | `MatchChoiceManager.noticeForcedBindings()`

Methods in ix.util.match with parameters of type MatchEnv
`static java.lang.Object` | `Matcher.deref(Variable var, MatchEnv env)`
`static MatchEnv` | `SimpleMatcher.match(java.lang.Object pat, java.lang.Object dat, MatchEnv env)`
`static MatchEnv` | `Matcher.match(java.lang.Object pat, java.lang.Object dat, MatchEnv env)`
`static MatchEnv` | `SimpleMatcher.mustMatch(java.lang.Object pat, java.lang.Object dat, MatchEnv env)`
`static MatchEnv` | `Matcher.mustMatch(java.lang.Object pat, java.lang.Object dat, MatchEnv env)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES