public abstract class QuantifiedFormula extends QuantifiedExpression implements Formula
precedence
Modifier and Type | Method and Description |
---|---|
void |
accept(ASTVisitor visitor)
Accept visitor for a visit.
|
Formula |
getBody()
Get the body of the formula.
|
accept, acceptChildren, getPrecedence, getQuantifier, getVariables
getPosition, isLeftAssociative, isRightAssociative, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
getPrecedence, isLeftAssociative, isRightAssociative
getPosition, setPosition
accept, acceptChildren, print, printCore, toString, toStringCore
public Formula getBody()
getBody
in class QuantifiedExpression
public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class QuantifiedExpression
visitor
- the visitor who is accepted by this node.