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.plan	Classes for external / snapshot representation of processes.
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.plan

Fields in ix.icore.plan with type parameters of type Refinement

protected java.util.Map<Name,Refinement>

DomainAsPlan.nodeIdToRefinementMap

Methods in ix.icore.plan that return Refinement

(package private) Refinement	PlanAsDomain.makeRefinement(PlanRefinement pr)
(package private) Refinement	PlanAsDomain.makeTopLevelRefinement(Plan plan)

Methods in ix.icore.plan with parameters of type Refinement

(package private) ix.icore.domain.ListOfConstrainer	DomainAsPlan.getConstrainers(Refinement r)
(package private) ix.icore.plan.ListOfPlanNode	DomainAsPlan.makePlanNodes(Refinement r)
(package private) PlanRefinement	DomainAsPlan.makePlanRefinement(Refinement r)
(package private) ix.icore.plan.ListOfPlanVariableDeclaration	DomainAsPlan.makePlanVarDcls(Refinement r, VariableScope scope)
(package private) void	PlanAsDomain.setConstraintsAndOrderings(Refinement r, ix.icore.domain.ListOfConstrainer constrainers)
(package private) void	PlanAsDomain.setNodeSpecs(Refinement r, ix.icore.plan.ListOfPlanNode planNodes)
(package private) void	PlanAsDomain.setVarDcls(Refinement r, ix.icore.plan.ListOfPlanVariableDeclaration planDcls)

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

void	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 effects specified by the refinement, changing the current world state.
void	AgendaTableViewer.expandItem(AgendaItem i, Refinement instructions)
void	AgendaViewer.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	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 MatchEnvs 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	AgendaViewer.saveExpansion(Refinement data)
void	AgendaViewTable.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 that return types with arguments of type Refinement

java.util.Set<Refinement>

DomainAnalyser.refinementsExpandingPattern(LList pattern)

Methods in ix.iplan with parameters of type Refinement

(package private) static boolean	Slip.canBeUsedForEffect(Constraint effect, Refinement r, Domain d)
protected java.util.Set	DomainAnalyser.directSuccessors(Refinement r)
(package private) SlipExpander	SlipFindExecutable.makeExpander(AgendaItem item, Refinement r, MatchEnv env)
(package private) SlipExpander	SlipFindExecutable.makeLaterExpander(AgendaItem item, Refinement r, MatchEnv env)
HandlerAction	IPlanExpandHandler.makeManualExpandAction(AgendaItem item, Refinement r)
(package private) SlipExpander	SlipFindExecutable.makeManualExpander(AgendaItem item, Refinement r, MatchEnv env)
(package private) void	Slip.recordInputsAndOutputs(Refinement ref, Activity act)
(package private) void	Slip.recordParameters(Symbol refKey, Symbol actKey, Refinement ref, Activity act, Slip.ParameterMaker m)
(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.
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

protected Refinement	PrecondBlockStacker.goalStateRefinement(java.util.List finalTowers)
protected Refinement	HtnBlockStacker.goalStateRefinement(java.util.List finalTowers)
protected abstract Refinement	BlockStacker.goalStateRefinement(java.util.List finalTowers)
protected Refinement	PrecondBlockStacker.initialStateRefinement(java.util.List initialTowers)
protected Refinement	BlockStacker.initialStateRefinement(java.util.List initialTowers)
(package private) Refinement	BlockStacker.problemTaskRefinement()