de.uka.ilkd.key.taclettranslation.lemma

Class AutomaticProver.Worker

java.lang.Object

de.uka.ilkd.key.taclettranslation.lemma.AutomaticProver.Worker

All Implemented Interfaces:

java.lang.Runnable

Enclosing class:

AutomaticProver

private class AutomaticProver.Worker
extends java.lang.Object
implements java.lang.Runnable

The core of the automatic prover runs in an own thread.

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.Throwable	exception
private int	maxNumberOfRules
private Proof	proof

Constructor Summary

Constructors

Constructor and Description
Worker(Proof proof, int maxNumberOfRules)

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

proof

private Proof proof

maxNumberOfRules

private int maxNumberOfRules

exception

private java.lang.Throwable exception

Constructor Detail

Worker

public Worker(Proof proof,
              int maxNumberOfRules)

Method Detail

copyGoals

private java.util.LinkedList<Goal> copyGoals(ImmutableList<Goal> goals)

getException

public java.lang.Throwable getException()

run

public void run()

Specified by:

run in interface java.lang.Runnable

getNextApp

private RuleApp getNextApp(Goal goal)