Uses of Class
ix.icore.domain.PatternAssignment

Packages that use PatternAssignment

ix.icore.domain	Domain descriptions.
ix.iface.domain	Domain parsers and outputters.
ix.iface.plan	Plan outputters.
ix.ip2	I-X Process Panels
ix.iplan	The I-X planner.
ix.itest	I-Test.
ix.iview.util
ix.test	Simple applications for testing purposes.
ix.test.xml	Experiments with new classes that could be converted to and from XML.

Uses of PatternAssignment in ix.icore.domain

Methods in ix.icore.domain that return PatternAssignment

PatternAssignment	Constraint.getPatternAssignment()
PatternAssignment	PatternAssignment.instantiate(MatchEnv env, Function1 ifUnbound)

Uses of PatternAssignment in ix.iface.domain

Methods in ix.iface.domain with parameters of type PatternAssignment

(package private) void

LTF_Writer.outPV(PatternAssignment pv)

Uses of PatternAssignment in ix.iface.plan

Methods in ix.iface.plan that return PatternAssignment

(package private) PatternAssignment

InitLoader.parseConstraint(java.lang.String spec)

Uses of PatternAssignment in ix.ip2

Methods in ix.ip2 with parameters of type PatternAssignment

void	Ip2WorldStateManager.deleteEffect(PatternAssignment pv)
protected void	Ip2ModelManager.deleteEffect(PatternAssignment pv)
protected MatchEnv	VariableManager.FilterMatcher.matchFilter(PatternAssignment pv, java.util.Map.Entry entry, MatchEnv baseEnv)

Uses of PatternAssignment in ix.iplan

Fields in ix.iplan declared as PatternAssignment

(package private) PatternAssignment	SlipAchiever.cond
(package private) PatternAssignment	SlipAchiever.effect

Methods in ix.iplan that return PatternAssignment

(package private) PatternAssignment

Slip.getGoalCond(PNodeEnd ne)

Methods in ix.iplan with parameters of type PatternAssignment

protected java.util.Set	DomainAnalyser.computePossibleConditions(PatternAssignment pv)
protected java.util.Set	DomainAnalyser.computePossibleEffects(PatternAssignment pv)
void	IPlanWorldStateManager.deleteEffect(PatternAssignment pv)
long	DomainAnalyser.getMinFullExpandSize(PatternAssignment pv)
(package private) long	DomainAnalyser.MinFullExpandFinder.getMinFullExpandSize(PatternAssignment pv)
java.util.Set	DomainAnalyser.getPossibleConditions(PatternAssignment pv)
java.util.Set	DomainAnalyser.getPossibleEffects(PatternAssignment pv)
(package private) Constraint	SlipFindExecutable.makeCondition(PatternAssignment pv)
(package private) ActivityItem	Slip.makeGoalNode(PatternAssignment goalCond, java.util.List achievers, PNodeEnd atNodeEnd)
boolean	DomainAnalyser.mightSatisfy(PatternAssignment cond, java.util.Collection effects)
boolean	DomainAnalyser.mightSatisfy(PatternAssignment cond, PatternAssignment effect)
(package private) boolean	SlipAchieveConds.parallelMightSatisfy(PatternAssignment pv, long shadowedMark)
java.util.Set	DomainAnalyser.refinementsForCondition(PatternAssignment pv)

Constructors in ix.iplan with parameters of type PatternAssignment

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

Uses of PatternAssignment in ix.itest

Methods in ix.itest with parameters of type PatternAssignment

void	SendPanel.initConstraint(PatternAssignment pv)
void	SendPanel.ConstraintControls.initConstraint(PatternAssignment pv)
void	SendPanel.initConstraintForMe(PatternAssignment pv)

Uses of PatternAssignment in ix.iview.util

Methods in ix.iview.util with parameters of type PatternAssignment

static boolean

IVUtil.isSimplePropertyAssignment(PatternAssignment ass, ObjectProperty prop, ItemVar var) Looks at the second element in the list and compares it to the given variable.

Uses of PatternAssignment in ix.test

Methods in ix.test that return PatternAssignment

(package private) PatternAssignment

FixDomain.Fixer.mapPV(PatternAssignment pv)

Methods in ix.test with parameters of type PatternAssignment

(package private) PatternAssignment

FixDomain.Fixer.mapPV(PatternAssignment pv)

Uses of PatternAssignment in ix.test.xml

Methods in ix.test.xml with parameters of type PatternAssignment

boolean

WorldStateView.isIncluded(PatternAssignment pv)