ix.iplan
Class DomainAnalyser.MinFullExpandFinder

java.lang.Object
  extended by ix.iplan.DomainAnalyser.MinFullExpandFinder
Enclosing class:
DomainAnalyser

 class DomainAnalyser.MinFullExpandFinder
extends java.lang.Object


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

sizes

java.util.Map sizes

START_MARK

java.lang.Long START_MARK
Constructor Detail

DomainAnalyser.MinFullExpandFinder

DomainAnalyser.MinFullExpandFinder()
Method Detail

getMinFullExpandSize

long getMinFullExpandSize(LList pattern)

getMinFullExpandSize

long getMinFullExpandSize(PatternAssignment pv)

makeMinFullExpandTable

java.util.Map makeMinFullExpandTable()