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

## 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)`

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