importer
Class Results
java.lang.Object
importer.Results
public class Results
- extends java.lang.Object
Constructor Summary |
Results(java.lang.String path)
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
instances
public java.util.Set<Results.Instance> instances
Results
public Results(java.lang.String path)
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)