private class MediatorProofControl.AutoModeWorker extends javax.swing.SwingWorker<ApplyStrategyInfo,java.lang.Object>
Modifier and Type | Field and Description |
---|---|
private ApplyStrategy |
applyStrategy |
private ImmutableList<Goal> |
goals |
private ApplyStrategyInfo |
info |
private java.util.List<Node> |
initialGoals |
private Proof |
proof |
Constructor and Description |
---|
AutoModeWorker(Proof proof,
ImmutableList<Goal> goals,
ProverTaskListener ptl) |
Modifier and Type | Method and Description |
---|---|
protected ApplyStrategyInfo |
doInBackground() |
protected void |
done() |
protected void |
emitInteractiveAutoMode(java.util.List<Node> initialGoals,
Proof proof,
ApplyStrategyInfo info) |
private void |
notifyException(java.lang.Exception exception) |
private final Proof proof
private final java.util.List<Node> initialGoals
private final ImmutableList<Goal> goals
private final ApplyStrategy applyStrategy
private ApplyStrategyInfo info
public AutoModeWorker(Proof proof, ImmutableList<Goal> goals, ProverTaskListener ptl)
protected void done()
done
in class javax.swing.SwingWorker<ApplyStrategyInfo,java.lang.Object>
protected void emitInteractiveAutoMode(java.util.List<Node> initialGoals, Proof proof, ApplyStrategyInfo info)
private void notifyException(java.lang.Exception exception)
protected ApplyStrategyInfo doInBackground() throws java.lang.Exception
doInBackground
in class javax.swing.SwingWorker<ApplyStrategyInfo,java.lang.Object>
java.lang.Exception