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

## Uses of Class
ix.icore.domain.Refinement

Packages that use Refinement
ix.icore.domain | Domain descriptions.
ix.icore.domain.event | Interfaces and classes for events related to domains.
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.iview | Viewers.
ix.iview.domain | Objects that mirror those of the domain (in ix.icore.domain package) for UI purposes.
ix.iview.tree |
ix.test | Simple applications for testing purposes.

Uses of Refinement in ix.icore.domain

Methods in ix.icore.domain that return Refinement
`Refinement` | `Domain.getNamedRefinement(java.lang.String name)`
`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.

Methods in ix.icore.domain with parameters of type Refinement
`void` | `Domain.addRefinement(Refinement r)`
`void` | `Domain.deleteRefinement(Refinement r)`
`void` | `Domain.fireRefinementAdded(Refinement r)`
`void` | `Domain.replaceNamedRefinement(java.lang.String name, Refinement replacement)`
`void` | `Domain.replaceRefinement(Refinement old, Refinement neu)`

Uses of Refinement in ix.icore.domain.event

Fields in ix.icore.domain.event declared as Refinement
`protected Refinement` | `RefinementEvent.refinement`

Methods in ix.icore.domain.event that return Refinement
`Refinement` | `RefinementEvent.getRefinement()`

Constructors in ix.icore.domain.event with parameters of type Refinement
`RefinementEvent(Domain source, Refinement refinement)`

Uses of Refinement in ix.icore.process

Methods in ix.icore.process that return Refinement
`Refinement` | `PNode.getRefinement()`

Methods in ix.icore.process with parameters of type Refinement
`java.util.Map` | `PNode.expandOneLevel(Refinement sourceRefinement, MatchEnv env)` Creates child nodes as specified by a refinement and installs ordering links.
`void` | `PNode.setRefinement(Refinement r)`

Uses of Refinement in ix.iface.domain

Methods in ix.iface.domain that return Refinement
`Refinement` | `LTF_Parser.makeRefinement(LList def)`
`(package private) Refinement` | `LTF_Parser.useNumericNodeIds(Refinement r)`

Methods in ix.iface.domain with parameters of type Refinement
`(package private) void` | `LTF_Writer.outRefinement(Refinement r)`
`(package private) void` | `TF_Writer.outRefinementHeader(Refinement r)`
`(package private) void` | `LTF_Writer.outRefinementHeader(Refinement r)`
`(package private) Refinement` | `LTF_Parser.useNumericNodeIds(Refinement r)`
`void` | `LTF_Writer.writeRefinement(Refinement r, java.io.Writer w)`

Uses of Refinement in ix.ip2

Fields in ix.ip2 declared as Refinement
`(package private) Refinement` | `ExpandHandler.ExpandAction.refinement`

Methods in ix.ip2 that return Refinement
`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.
`(package private) Refinement` | `ActivityEditor.ActivityEditPanel.ExpansionPanel.makePartialRefinement()`

Methods in ix.ip2 with parameters of type Refinement
`void` | `Ip2ModelManager.executeRefinementEffects(Refinement r, MatchEnv env)` Applies the `world-state effect`s specified by the refinement, changing the current world state.
`void` | `AgendaTableViewer.expandItem(AgendaItem i, Refinement instructions)`
`void` | `AgendaViewTable.expandItem(AgendaItem i, Refinement instructions)`
`void` | `AgendaManager.expandItem(AgendaItem i, Refinement instructions)`
`void` | `Agenda.expandItem(AgendaItem item, Refinement instructions)`
`void` | `ActivityAgenda.expandItem(AgendaItem item, Refinement instructions)`
`void` | `AgendaViewer.expandItem(AgendaItem i, Refinement instructions)`
`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.
`boolean` | `AdviceManager.isUsableRefinement(Refinement r)`
`protected ExpandHandler.ExpandAction` | `ExpandHandler.makeExpandAction(AgendaItem item, Refinement r, MatchEnv env)` Factory method that returns an instance of a suitable subclass of `ExpandHandler.ExpandAction`.
`HandlerAction` | `ExpandHandler.makeManualExpandAction(AgendaItem item, Refinement r)`
`protected MatchEnv` | `ExpandHandler.matchRefinement(AgendaItem item, Refinement r)`
`java.util.List` | `Ip2ModelManager.satisfyRefinementPreconditions(Activity act, Refinement r)` Returns a list of `MatchEnv`s containing one env for each way in which all of the refinement's preconditions can be satisfied by the curent world state.
`void` | `AgendaTableViewer.saveExpansion(Refinement data)`
`void` | `AgendaViewTable.saveExpansion(Refinement data)`
`void` | `AgendaViewer.saveExpansion(Refinement data)`
`void` | `ActivityItem.setRefinement(Refinement r)`

Constructors in ix.ip2 with parameters of type Refinement
`ExpandHandler.ExpandAction(AgendaItem item, Refinement refinement, MatchEnv env)`

Uses of Refinement in ix.iplan

Fields in ix.iplan declared as Refinement
`(package private) Refinement` | `SlipExpander.refinement`
`(package private) Refinement` | `SlipAchiever.refinement`

Methods in ix.iplan with parameters of type Refinement
`(package private) static boolean` | `Slip.canBeUsedForEffect(LList pattern, Refinement r)`
`protected java.util.Set` | `DomainAnalyser.directSuccessors(Refinement r)`
`(package private) java.lang.Object` | `SlipFindExecutable.makeExpander(AgendaItem item, Refinement r, MatchEnv env)`
`(package private) java.lang.Object` | `SlipFindExecutable.makeLaterExpander(AgendaItem item, Refinement r, MatchEnv env)`
`HandlerAction` | `IPlanExpandHandler.makeManualExpandAction(AgendaItem item, Refinement r)`
`(package private) java.lang.Object` | `SlipFindExecutable.makeManualExpander(AgendaItem item, Refinement r, MatchEnv env)`
`(package private) boolean` | `SlipFindExecutable.refinementApplies(Refinement r, LList pattern)`

Constructors in ix.iplan with parameters of type Refinement
`SlipAchiever(PatternAssignment cond, Refinement refinement, PatternAssignment effect, MatchEnv condMatchEnv)`
`SlipExpander(Slip slip, AgendaItem item, Refinement r, MatchEnv refinementMatchEnv, java.util.List filterEnvs)`

Uses of Refinement in ix.isim

Fields in ix.isim declared as Refinement
`protected Refinement` | `ExecutableAction.method`

Methods in ix.isim with parameters of type Refinement
`protected void` | `ExecutableAction.simulate(TimedEvent action, Refinement method)`

Uses of Refinement in ix.iview

Fields in ix.iview declared as Refinement
`(package private) Refinement` | `SimpleDomainEditor.RefinementEditor.editingRefinement`

Methods in ix.iview with parameters of type Refinement
`void` | `SimpleDomainEditor.RefinementEditor.editPartialRefinement(Refinement r)`
`void` | `SimpleDomainEditor.RefinementEditor.editRefinement(Refinement r)`
`protected void` | `SimpleDomainEditor.RefinementEditor.fixVarDcls(Refinement r)`
`protected void` | `SimpleDomainEditor.RefinementEditor.loadFromRefinement(Refinement r)`
`protected void` | `SimpleDomainEditor.RefinementEditor.redefineRefinement(Refinement r)`
`void` | `DomainEditorFrame.saveExpansion(Refinement data)` The name of this is a hangover from something Jeff did.
`void` | `DomainEditor.saveExpansion(Refinement data)` The name of this is a hangover from something Jeff did.
`void` | `SimpleDomainEditor.saveExpansion(Refinement r)`
`void` | `InternalDomainEditor.saveExpansion(Refinement data)`
`protected void` | `SimpleDomainEditor.RefinementEditor.storeIntoRefinement(Refinement r)`

Uses of Refinement in ix.iview.domain

Fields in ix.iview.domain declared as Refinement
`protected Refinement` | `UIRefinement.baseObject`

Methods in ix.iview.domain with parameters of type Refinement
`java.util.List` | `UIRefinement.collectChanges(Refinement original)` Collects the differences between this object and the given one.
`java.util.List` | `UIRefinement.collectChanges(Refinement original, java.lang.String which)`
`IGraph` | `UIRefinement.graphFromPosition(Refinement refinement, java.lang.Object pos)`
`boolean` | `UIRefinement.hasChanged(Refinement original)` Finds out whether the refinement has changed from the given object.
`boolean` | `UIRefinement.hasChangedNoDebug(Refinement original)` Finds out whether the refinement has changed from the given object.
`boolean` | `UIRefinement.isEmpty(Refinement refinement)` A refinement is empty if all its data fields are empty.
`boolean` | `UIDomain.isMatchingRefinement(LList pattern, Refinement r)` Checks whether the given refinement matches the pattern.
`void` | `UIRefinement.loadCanvasPositionGraphFromDomain(Refinement refinement)`
`void` | `UIRefinement.loadMGraphFromDomain(Refinement refinement)`
`void` | `UIRefinement.saveCanvasPositionGraphToDomain(Refinement refinement)`
`void` | `UIRefinement.saveMGraphToDomain(Refinement refinement)`

Constructors in ix.iview.domain with parameters of type Refinement
`UIRefinement(UIDomain uiDomain, Refinement original)`

Uses of Refinement in ix.iview.tree

Constructors in ix.iview.tree with parameters of type Refinement
`RefinementTreeNode(Refinement ref)`

Uses of Refinement in ix.test

Methods in ix.test that return Refinement
`(package private) Refinement` | `BlockStacker.goalStateRefinement(java.util.List finalTowers)`
`(package private) Refinement` | `BlockStacker.initialStateRefinement(java.util.List initialTowers)`
`(package private) Refinement` | `BlockStacker.problemTaskRefinement()`

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