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.
PatternAssignment	PatternAssignment.instantiate(MatchEnv env, Function1 ifUnbound)
NodeSpec	NodeSpec.instantiate(MatchEnv env, Function1 ifUnbound)
java.lang.Object	Instantiable.instantiate(MatchEnv env, Function1 ifUnbound)
Constraint	Constraint.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)
void	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) Construct a constraint based on the spec and any bindings in the MatchEnv.
Constraint	LTF_Parser.WorldStateConstraintParser.makeConstraint(LList spec, MatchEnv env)
Constraint	LTF_Parser.ComputeParser.makeConstraint(LList spec, MatchEnv env)
Constraint	LTF_Parser.MultipleAnswerComputeParser.makeConstraint(LList spec, MatchEnv env)
Constraint	LTF_Parser.BeforeParser.makeConstraint(LList spec, MatchEnv env)
Constraint	LTF_Parser.DurationParser.makeConstraint(LList spec, MatchEnv env)
Constraint	LTF_Parser.WindowAtParser.makeConstraint(LList spec, MatchEnv env)
Constraint	LTF_Parser.ResourceConstraintParser.makeConstraint(LList spec, MatchEnv env)
Constraint	LTF_Parser.AdviceParser.makeConstraint(LList spec, MatchEnv env)
Constraint	LTF_Parser.OtherConstraintParser.makeConstraint(LList spec, MatchEnv env)
protected TimeWindow	LTF_Parser.TemporalConstraintParser.makeTimeWindow(MatchEnv env)

Uses of MatchEnv in ix.ip2

Fields in ix.ip2 declared as MatchEnv

protected MatchEnv	UnsatisfiedConditionsUnreadyReason.condEnv
(package private) MatchEnv	ExpandHandler.ExpandAction.env
(package private) MatchEnv	ConditionHandler.SatisfyAction.env
(package private) MatchEnv	CompletionHandler.DoneAction.env

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.
(package private) java.util.List	VariableManager.FilterMatcher.evalFilters(ix.icore.domain.ListOfConstraint conds, MatchEnv env)
java.util.List	Ip2ModelManager.evalFilters(ix.icore.domain.ListOfConstraint conds, MatchEnv env)
void	Ip2ModelManager.executeRefinementEffects(Refinement r, MatchEnv env) Applies the world-state effects specified by the refinement, changing the current world state.
void	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.
(package private) ix.icore.domain.ListOfConstraint	VariableManager.FilterMatcher.testFilters(ix.icore.domain.ListOfConstraint conds, MatchEnv baseEnv)
ix.icore.domain.ListOfConstraint	Ip2ModelManager.testFilters(ix.icore.domain.ListOfConstraint conds, MatchEnv env)

Constructors in ix.ip2 with parameters of type MatchEnv

ExpandHandler.ExpandAction(AgendaItem item, Refinement refinement, MatchEnv env)

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

Fields in ix.iplan declared as MatchEnv

(package private) MatchEnv	SlipAchiever.condMatchEnv
(package private) MatchEnv	IPlanConditionHandler.SatisfyAction.env
(package private) MatchEnv	SlipExpander.refinementMatchEnv

Methods in ix.iplan that return MatchEnv

(package private) MatchEnv

SlipAchiever.rematchCond()

Methods in ix.iplan with parameters of type MatchEnv

protected void	IPlanModelManager.forcedBindings(MatchEnv forced)
(package private) SlipExpander	SlipFindExecutable.makeExpander(AgendaItem item, Refinement r, MatchEnv env)
(package private) SlipExpander	SlipFindExecutable.makeLaterExpander(AgendaItem item, Refinement r, MatchEnv env)
(package private) SlipExpander	SlipFindExecutable.makeManualExpander(AgendaItem item, Refinement r, MatchEnv env)
void	IPlanWorldStateManager.satisfyConds(PNode at, ix.icore.domain.ListOfConstraint conds, MatchEnv env)
(package private) void	IPlanModelManager.satisfyConds(PNode at, ix.icore.domain.ListOfConstraint conds, MatchEnv env)

Constructors in ix.iplan with parameters of type MatchEnv

SlipAchiever(PatternAssignment cond, Refinement refinement, PatternAssignment effect, MatchEnv condMatchEnv)

SlipExpander(Slip slip, AgendaItem item, Refinement r, MatchEnv refinementMatchEnv, java.util.List filterEnvs)

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	SendMessage.executeAction(MatchEnv env)
void	SendConstraint.executeAction(MatchEnv env)
void	SendActivity.executeAction(MatchEnv env)
void	PointListMoveAction.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)