public final class NotEquivalentFormula extends BinaryFormula
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 NotEquivalentFormula |
construct(Formula first,
Formula second)
Construct an exclusive disjunction.
|
java.lang.String |
getOperator()
Get textual representation of operator.
|
int |
getPrecedence()
Get precedence value of the formula operator
(higher precedence value means higher binding power)
|
getFirst, getSecond
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 NotEquivalentFormula construct(Formula first, Formula second)
first
- the first (left) part.second
- the right (second) part.public int getPrecedence()
getPrecedence
in interface Expression
getPrecedence
in class ExpressionBase
public java.lang.String getOperator()
getOperator
in class BinaryExpression
public void accept(ASTVisitorOld visitor)
accept
in interface AST
accept
in class BinaryFormula
visitor
- the visitor who is accepted by this node.public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class BinaryFormula
visitor
- the visitor who is accepted by this node.