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