importer
Class Results

java.lang.Object
  extended by importer.Results

public class Results
extends java.lang.Object


Nested Class Summary
 class Results.Instance
           
 
Field Summary
 java.util.Set<Results.Instance> instances
           
 
Constructor Summary
Results(java.lang.String path)
           
 
Method Summary
 void addInstance(Results.Instance i)
           
 Results.Instance addInstance(java.lang.String name, java.util.Set<java.lang.String> complex, java.util.Set<java.lang.String> subcomplex, java.util.Set<java.lang.String> candidates)
           
 void addRunningTime(double r)
           
 java.util.Set<java.util.Collection<java.lang.String>> getComplexes(int minSize)
           
 void writeMatches()
           
 void writeMatches(int minSize)
           
 void writeStatistics()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

instances

public java.util.Set<Results.Instance> instances
Constructor Detail

Results

public Results(java.lang.String path)
Method Detail

addInstance

public void addInstance(Results.Instance i)

writeMatches

public void writeMatches()

writeMatches

public void writeMatches(int minSize)

writeStatistics

public void writeStatistics()

addRunningTime

public void addRunningTime(double r)

addInstance

public Results.Instance addInstance(java.lang.String name,
                                    java.util.Set<java.lang.String> complex,
                                    java.util.Set<java.lang.String> subcomplex,
                                    java.util.Set<java.lang.String> candidates)

getComplexes

public java.util.Set<java.util.Collection<java.lang.String>> getComplexes(int minSize)