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()