public abstract class BinaryFormula extends BinaryExpression 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 |
getFirst()
Get first subformula.
|
Formula |
getSecond()
Get second subformula.
|
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 Formula getFirst()
getFirst
in class BinaryExpression
public Formula getSecond()
getSecond
in class BinaryExpression
public void accept(ASTVisitorOld visitor)
accept
in interface AST
accept
in class BinaryExpression
visitor
- the visitor who is accepted by this node.public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class BinaryExpression
visitor
- the visitor who is accepted by this node.