ix.ip2
Class Ip2ModelManager.PlanBuilder

java.lang.Object
  |
  +--ix.ip2.Ip2ModelManager.PlanBuilder
Enclosing class:
Ip2ModelManager

class Ip2ModelManager.PlanBuilder
extends java.lang.Object


Field Summary
(package private)  Util.NameGenerator nameGen
           
(package private)  Plan plan
           
(package private)  java.util.List refinements
           
(package private)  java.util.List topNodes
           
(package private)  java.util.Map varToDclMap
           
 
Constructor Summary
(package private) Ip2ModelManager.PlanBuilder()
           
 
Method Summary
(package private)  java.util.List buildConstraints(Symbol type, Symbol relation, java.util.List assigns)
           
(package private)  void buildExpansion(ActivityItem item, PlanNode node)
           
(package private)  Ordering buildOrdering(PlanNode childNode, PlanNode postNode)
           
(package private)  java.util.List buildOrderings(java.util.List childItems, java.util.List childNodes)
           
(package private)  Plan buildPlan()
           
(package private)  java.util.Map extendMap(java.util.Map m, java.util.Collection keys, java.util.Collection values)
           
(package private)  Name genId(java.lang.String base)
           
(package private)  java.util.List getIssues()
           
(package private)  Plan getPlan()
           
(package private)  java.util.List getVariables(java.util.Map varEnv)
           
(package private)  java.util.List getWorldState()
           
(package private)  java.util.List makeVariableDeclarations(java.util.List variables)
           
(package private)  void walkNodes()
           
(package private)  void walkTopNode(ActivityItem item)
           
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

nameGen

Util.NameGenerator nameGen

plan

Plan plan

topNodes

java.util.List topNodes

refinements

java.util.List refinements

varToDclMap

java.util.Map varToDclMap
Constructor Detail

Ip2ModelManager.PlanBuilder

Ip2ModelManager.PlanBuilder()
Method Detail

getPlan

Plan getPlan()

buildPlan

Plan buildPlan()

genId

Name genId(java.lang.String base)

getVariables

java.util.List getVariables(java.util.Map varEnv)

makeVariableDeclarations

java.util.List makeVariableDeclarations(java.util.List variables)

extendMap

java.util.Map extendMap(java.util.Map m,
                        java.util.Collection keys,
                        java.util.Collection values)

getIssues

java.util.List getIssues()

getWorldState

java.util.List getWorldState()

walkNodes

void walkNodes()

walkTopNode

void walkTopNode(ActivityItem item)

buildExpansion

void buildExpansion(ActivityItem item,
                    PlanNode node)

buildOrderings

java.util.List buildOrderings(java.util.List childItems,
                              java.util.List childNodes)

buildOrdering

Ordering buildOrdering(PlanNode childNode,
                       PlanNode postNode)

buildConstraints

java.util.List buildConstraints(Symbol type,
                                Symbol relation,
                                java.util.List assigns)