public static class ApplicationCheck.NoNewSymbolsCheck extends java.lang.Object implements ApplicationCheck
ApplicationCheck.NoNewSymbolsCheck
Modifier and Type | Field and Description |
---|---|
private static java.lang.String |
ADD_INFORMATION |
private static java.lang.String |
INFORMATION1 |
private static java.lang.String |
INFORMATION2 |
private java.util.Set<java.lang.String> |
names |
private Node |
node |
Constructor and Description |
---|
NoNewSymbolsCheck() |
Modifier and Type | Method and Description |
---|---|
private void |
buildCaches(Node cutNode) |
java.lang.String |
check(Node cutNode,
Term cutFormula) |
private java.lang.String |
checkFormula(Term formula) |
private void |
clearCaches() |
java.lang.String |
toString() |
private Node node
private java.util.Set<java.lang.String> names
private static final java.lang.String INFORMATION1
private static final java.lang.String INFORMATION2
private static final java.lang.String ADD_INFORMATION
public java.lang.String check(Node cutNode, Term cutFormula)
check
in interface ApplicationCheck
cutNode
- The node at which to apply the delayed cut.cutFormula
- The cut formula.private void clearCaches()
private void buildCaches(Node cutNode)
private java.lang.String checkFormula(Term formula)
public java.lang.String toString()
toString
in class java.lang.Object