importer
Class Results.Instance

java.lang.Object
  extended by importer.Results.Instance
Enclosing class:
Results

public class Results.Instance
extends java.lang.Object


Constructor Summary
Results.Instance(java.lang.String n, java.util.Set<java.lang.String> complex, java.util.Set<java.lang.String> subcomplex, java.util.Set<java.lang.String> candidates)
           
 
Method Summary
 void addMatching(java.util.Map<java.lang.String,java.lang.String> matches)
           
 void addRunningTime(double r)
           
 boolean hasMatches()
           
 int size()
           
 void terminate()
           
 void writeMatch(java.lang.String path)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Results.Instance

public Results.Instance(java.lang.String n,
                        java.util.Set<java.lang.String> complex,
                        java.util.Set<java.lang.String> subcomplex,
                        java.util.Set<java.lang.String> candidates)
Method Detail

addMatching

public void addMatching(java.util.Map<java.lang.String,java.lang.String> matches)

writeMatch

public void writeMatch(java.lang.String path)

addRunningTime

public void addRunningTime(double r)

size

public int size()

terminate

public void terminate()

hasMatches

public boolean hasMatches()