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