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.
|