de.uka.ilkd.key.proof.delayedcut

Interface DelayedCutListener

public interface DelayedCutListener

Interface for DelayedCut listeners.

Author:

Benjamin Niedermann

See Also:

DelayedCut, DelayedCutProcessor

Method Summary

Modifier and Type	Method and Description
void	eventCutting()
void	eventEnd(DelayedCut cutInformation)
void	eventException(Throwable throwable)
void	eventRebuildingTree(int currentTacletNumber, int totalNumber)

Method Detail

eventCutting

void eventCutting()

eventRebuildingTree

void eventRebuildingTree(int currentTacletNumber,
                         int totalNumber)

eventEnd

void eventEnd(DelayedCut cutInformation)

eventException

void eventException(Throwable throwable)