ix.icore.plan
Class DomainAsPlan

java.lang.Object
  ix.icore.AbstractAnnotatedObject
      ix.icore.AbstractIXObject
          ix.icore.plan.PlanObject
              ix.icore.plan.Plan
                  ix.icore.plan.DomainAsPlan

All Implemented Interfaces:

Annotated, IXObject, java.io.Serializable

public class DomainAsPlan
extends Plan

A plan constructed from a domain that's meant to represent a plan. The domain must follow some of the conventions used by PlanAsDomain.

See Also:

Serialized Form

Nested Class Summary

static class	DomainAsPlan.InvalidPlanDomain
(package private) class	DomainAsPlan.Pass1

Field Summary

(package private) static Symbol	EXPANDS
protected Gensym.Generator	nameGen
protected java.util.Map<Symbol,PlanVariable>	nameToPlanVarMap
protected java.util.Map<Name,NodeSpec>	nodeIdToNodeSpecMap
protected java.util.Map<Name,Refinement>	nodeIdToRefinementMap
(package private) static Symbol	WORLD_STATE

Fields inherited from class ix.icore.plan.Plan

constraints, planIssueRefinements, planIssues, planNodes, planRefinements, planVariableDeclarations, worldState

Fields inherited from class ix.icore.AbstractAnnotatedObject

annotationListeners, annotations

Constructor Summary

DomainAsPlan()

DomainAsPlan(Domain domain)

Method Summary

(package private) void	fillNodeIdToRefinementMap(Domain domain)
(package private) ix.icore.domain.ListOfConstrainer	getConstrainers(Refinement r)
(package private) PlanVariable	getPlanVar(ItemVar v)
static void	main(java.lang.String[] argv)
(package private) PlanNode	makePlanNode(NodeSpec spec)
(package private) ix.icore.plan.ListOfPlanNode	makePlanNodes(Refinement r)
(package private) PlanRefinement	makePlanRefinement(Refinement r)
(package private) PlanVariableDeclaration	makePlanVarDcl(ItemVar v, VariableScope s)
(package private) ix.icore.plan.ListOfPlanVariableDeclaration	makePlanVarDcls(Refinement r, VariableScope scope)
(package private) ItemVar	namePart(ItemVar v)
(package private) LList	patternForPlan(java.util.List pattern)

Methods inherited from class ix.icore.plan.Plan

getAllPlanVariableDeclarations, getConstraints, getPlanIssueRefinement, getPlanIssueRefinements, getPlanIssues, getPlanNodes, getPlanRefinement, getPlanRefinements, getPlanVariableDeclarations, getWorldState, setConstraints, setPlanIssueRefinements, setPlanIssues, setPlanNodes, setPlanRefinements, setPlanVariableDeclarations, setWorldState, setWorldState

Methods inherited from class ix.icore.AbstractAnnotatedObject

addAnnotationListener, annMap, clearAnnotations, fireSetAnnotation, getAnnotation, getAnnotations, getComments, makeAnnMap, removeAnnotation, setAnnotation, setAnnotations, setComments, takeAnnotations

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface ix.icore.Annotated

addAnnotationListener, clearAnnotations, fireSetAnnotation, getAnnotation, getAnnotations, removeAnnotation, setAnnotation, setAnnotations, takeAnnotations

Field Detail

EXPANDS

static final Symbol EXPANDS

WORLD_STATE

static final Symbol WORLD_STATE

nameToPlanVarMap

protected java.util.Map<Symbol,PlanVariable> nameToPlanVarMap

nodeIdToNodeSpecMap

protected java.util.Map<Name,NodeSpec> nodeIdToNodeSpecMap

nodeIdToRefinementMap

protected java.util.Map<Name,Refinement> nodeIdToRefinementMap

nameGen

protected Gensym.Generator nameGen

Constructor Detail

DomainAsPlan

public DomainAsPlan()

DomainAsPlan

public DomainAsPlan(Domain domain)

Method Detail

fillNodeIdToRefinementMap

void fillNodeIdToRefinementMap(Domain domain)

makePlanRefinement

PlanRefinement makePlanRefinement(Refinement r)

makePlanNodes

ix.icore.plan.ListOfPlanNode makePlanNodes(Refinement r)

makePlanNode

PlanNode makePlanNode(NodeSpec spec)

makePlanVarDcls

ix.icore.plan.ListOfPlanVariableDeclaration makePlanVarDcls(Refinement r,
                                                            VariableScope scope)

getConstrainers

ix.icore.domain.ListOfConstrainer getConstrainers(Refinement r)

patternForPlan

LList patternForPlan(java.util.List pattern)

namePart

ItemVar namePart(ItemVar v)

getPlanVar

PlanVariable getPlanVar(ItemVar v)

makePlanVarDcl

PlanVariableDeclaration makePlanVarDcl(ItemVar v,
                                       VariableScope s)

main

public static void main(java.lang.String[] argv)