public final class NotFormula extends UnaryFormula
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
operator |
static int |
precedence |
Modifier and Type | Method and Description |
---|---|
void |
accept(ASTVisitor visitor)
Accept visitor for a visit.
|
void |
accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
static NotFormula |
construct(Formula base)
Construct a logical negation.
|
java.lang.String |
getOperator()
Get textual representation of operator.
|
int |
getPrecedence()
Get precedence value of the term operator
(higher precedence value means higher binding power)
|
getBase
acceptChildren
getPosition, isLeftAssociative, isRightAssociative, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
isLeftAssociative, isRightAssociative
getPosition, setPosition
acceptChildren, print, printCore, toString, toStringCore
public static final int precedence
public static final java.lang.String operator
public static NotFormula construct(Formula base)
base
- the base formula.public int getPrecedence()
getPrecedence
in interface Expression
getPrecedence
in class ExpressionBase
public java.lang.String getOperator()
getOperator
in class UnaryExpression
public void accept(ASTVisitorOld visitor)
accept
in interface AST
accept
in class UnaryFormula
visitor
- the visitor who is accepted by this node.public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class UnaryFormula
visitor
- the visitor who is accepted by this node.