private class AutomaticProver.Worker
extends java.lang.Object
implements java.lang.Runnable
Modifier and Type | Field and Description |
---|---|
private java.lang.Throwable |
exception |
private int |
maxNumberOfRules |
private Proof |
proof |
Constructor and Description |
---|
Worker(Proof proof,
int maxNumberOfRules) |
Modifier and Type | Method and Description |
---|---|
private java.util.LinkedList<Goal> |
copyGoals(ImmutableList<Goal> goals) |
java.lang.Throwable |
getException() |
private RuleApp |
getNextApp(Goal goal) |
void |
run() |
private Proof proof
private int maxNumberOfRules
private java.lang.Throwable exception
public Worker(Proof proof, int maxNumberOfRules)
private java.util.LinkedList<Goal> copyGoals(ImmutableList<Goal> goals)
public java.lang.Throwable getException()
public void run()
run
in interface java.lang.Runnable