public final class NotFormula extends UnaryExpression
Constructor and Description |
---|
NotFormula(Expression base)
construct negation (not formula) of base formula
|
Modifier and Type | Method and Description |
---|---|
int |
getPriority()
get binding level for printing (lower numbers mean greater binding power)
|
accept, getBase, instantiate, printCore
printPriority
print, printParens, toString
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
print, printParens, toString
public NotFormula(Expression base)
base
- the base formulapublic int getPriority()
getPriority
in interface Expression
getPriority
in class ExpressionBase