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. 
ix.ip2 I-X Process Panels 
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)
           
 Refinement Refinement.instantiate(MatchEnv env, Function1 ifUnbound)
           
 PatternAssignment PatternAssignment.instantiate(MatchEnv env, Function1 ifUnbound)
           
 Constraint Constraint.instantiate(MatchEnv env, Function1 ifUnbound)
           
 NodeSpec NodeSpec.instantiate(MatchEnv env, Function1 ifUnbound)
           
 java.lang.Object Instantiable.instantiate(MatchEnv env, Function1 ifUnbound)
           
 

Uses of MatchEnv in ix.icore.process
 

Methods in ix.icore.process that return MatchEnv
abstract  MatchEnv ProcessModelManager.evalFilters(java.util.List conds, MatchEnv env)
           
 

Methods in ix.icore.process with parameters of type MatchEnv
 void PNode.expandOneLevel(Refinement sourceRefinement, MatchEnv env, PNodeMaker nodeMaker)
          Creates child nodes as specified by a refinement and installs ordering links.
abstract  MatchEnv ProcessModelManager.evalFilters(java.util.List 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
(package private)  MatchEnv ActivityAgenda.ExpandAction.env
           
(package private)  MatchEnv ActivityAgenda.ExpandAction.filterEnv
           
 

Methods in ix.ip2 that return MatchEnv
 MatchEnv Ip2ModelManager.evalFilters(java.util.List conds, MatchEnv env)
           
protected  MatchEnv Ip2ModelManager.filter(PatternAssignment pv, LList conds, MatchEnv baseEnv)
           
protected  MatchEnv Ip2ModelManager.matchFilter(PatternAssignment pv, java.util.Map.Entry entry, MatchEnv baseEnv)
           
 

Methods in ix.ip2 with parameters of type MatchEnv
(package private)  void AgendaItem.expandOneLevel(Refinement refinement, MatchEnv env)
           
protected  void ActivityAgenda.ExpandAction.applyEnv(MatchEnv env)
           
(package private)  void ActivityItem.expandOneLevel(Refinement refinement, MatchEnv env)
           
 MatchEnv Ip2ModelManager.evalFilters(java.util.List conds, MatchEnv env)
           
protected  MatchEnv Ip2ModelManager.filter(PatternAssignment pv, LList conds, MatchEnv baseEnv)
           
protected  MatchEnv Ip2ModelManager.matchFilter(PatternAssignment pv, java.util.Map.Entry entry, MatchEnv baseEnv)
           
 

Constructors in ix.ip2 with parameters of type MatchEnv
ActivityAgenda.ExpandAction(AgendaItem item, Refinement refinement, 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.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 SimpleMatcher.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.mustMatch(java.lang.Object pat, java.lang.Object dat)
           
static MatchEnv Matcher.mustMatch(java.lang.Object pat, java.lang.Object dat, MatchEnv env)
           
static MatchEnv Matcher.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, MatchEnv env)
           
 

Methods in ix.util.match with parameters of type MatchEnv
static MatchEnv SimpleMatcher.mustMatch(java.lang.Object pat, java.lang.Object dat, MatchEnv env)
           
static MatchEnv SimpleMatcher.match(java.lang.Object pat, java.lang.Object dat, MatchEnv env)
           
static MatchEnv Matcher.mustMatch(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 java.lang.Object Matcher.deref(Variable var, MatchEnv env)