public class AnalyzerTask extends javax.swing.SwingWorker<java.util.List<StatisticalDifference>,java.lang.Void>
Constructor and Description |
---|
AnalyzerTask(MainController controller,
AnnotatedTransitionSystem ats,
double freqThreshold,
TreeSettings settings) |
Modifier and Type | Method and Description |
---|---|
protected java.util.List<StatisticalDifference> |
doInBackground() |
void |
done() |
public AnalyzerTask(MainController controller, AnnotatedTransitionSystem ats, double freqThreshold, TreeSettings settings)
protected java.util.List<StatisticalDifference> doInBackground() throws java.lang.Exception
doInBackground
in class javax.swing.SwingWorker<java.util.List<StatisticalDifference>,java.lang.Void>
java.lang.Exception
public void done()
done
in class javax.swing.SwingWorker<java.util.List<StatisticalDifference>,java.lang.Void>