|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectix.iplan.DomainAnalyser.MinFullExpandFinder
class DomainAnalyser.MinFullExpandFinder
| Field Summary | |
|---|---|
(package private) java.util.Map |
sizes
|
(package private) java.lang.Long |
START_MARK
|
| Constructor Summary | |
|---|---|
DomainAnalyser.MinFullExpandFinder()
|
|
| Method Summary | |
|---|---|
(package private) long |
getMinFullExpandSize(LList pattern)
|
(package private) long |
getMinFullExpandSize(PatternAssignment pv)
|
(package private) java.util.Map |
makeMinFullExpandTable()
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
java.util.Map sizes
java.lang.Long START_MARK
| Constructor Detail |
|---|
DomainAnalyser.MinFullExpandFinder()
| Method Detail |
|---|
long getMinFullExpandSize(LList pattern)
long getMinFullExpandSize(PatternAssignment pv)
java.util.Map makeMinFullExpandTable()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||