| Interface | Description |
|---|---|
| ApplicationCheck |
Determines conflicts relevant for a delayed cut application.
|
| DelayedCutListener |
Interface for DelayedCut listeners.
|
| Class | Description |
|---|---|
| ApplicationCheck.NoNewSymbolsCheck |
Implementation of an ApplicationCheck which examines if there are new
symbols introduced below the cut node.
|
| DelayedCut |
This class wraps the information about the delayed cut.
|
| DelayedCutProcessor |
This class is responsible for processing the delayed cut.
|
| NodeGoalPair |
Simple immutable structure encapsulating a Node-Goal pair.
|