|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object | +--ix.ip2.Ip2ModelManager.PlanBuilder
| 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 |
|
| Field Detail |
Util.NameGenerator nameGen
Plan plan
java.util.List topNodes
java.util.List refinements
java.util.Map varToDclMap
| Constructor Detail |
Ip2ModelManager.PlanBuilder()
| Method Detail |
Plan getPlan()
Plan buildPlan()
Name genId(java.lang.String base)
java.util.List getVariables(java.util.Map varEnv)
java.util.List makeVariableDeclarations(java.util.List variables)
java.util.Map extendMap(java.util.Map m,
java.util.Collection keys,
java.util.Collection values)
java.util.List getIssues()
java.util.List getWorldState()
void walkNodes()
void walkTopNode(ActivityItem item)
void buildExpansion(ActivityItem item,
PlanNode node)
java.util.List buildOrderings(java.util.List childItems,
java.util.List childNodes)
Ordering buildOrdering(PlanNode childNode,
PlanNode postNode)
java.util.List buildConstraints(Symbol type,
Symbol relation,
java.util.List assigns)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||