public interface ApplicationCheck
Modifier and Type | Interface and Description |
---|---|
static class |
ApplicationCheck.NoNewSymbolsCheck
Implementation of an ApplicationCheck which examines if there are new
symbols introduced below the cut node.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
check(Node cutNode,
Term cutFormula) |
java.lang.String check(Node cutNode, Term cutFormula)
cutNode
- The node at which to apply the delayed cut.cutFormula
- The cut formula.