public abstract class UnaryFormula extends UnaryExpression implements Formula
Modifier and Type | Method and Description |
---|---|
void |
accept(ASTVisitor visitor)
Accept visitor for a visit.
|
void |
accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
Formula |
getBase()
Get base formula.
|
acceptChildren, getOperator
getPosition, getPrecedence, isLeftAssociative, isRightAssociative, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
getPrecedence, isLeftAssociative, isRightAssociative
getPosition, setPosition
acceptChildren, print, printCore, toString, toStringCore
public void accept(ASTVisitorOld visitor)
accept
in interface AST
accept
in class UnaryExpression
visitor
- the visitor who is accepted by this node.public Formula getBase()
getBase
in class UnaryExpression
public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class UnaryExpression
visitor
- the visitor who is accepted by this node.