public abstract class BinaryAtomicFormula extends BinaryExpression implements Formula
Modifier and Type | Field and Description |
---|---|
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.
|
Term |
getFirst()
Get first subterm.
|
int |
getPrecedence()
Get precedence value of the expression operator
(higher precedence value means higher binding power)
|
Term |
getSecond()
Get second subterm.
|
acceptChildren, getOperator
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 Term getFirst()
getFirst
in class BinaryExpression
public Term getSecond()
getSecond
in class BinaryExpression
public int getPrecedence()
getPrecedence
in interface Expression
getPrecedence
in class ExpressionBase
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.