public final class ImpliesFormula 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 ImpliesFormula |
construct(Formula first,
Formula second)
Construct an implication.
|
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)
|
boolean |
isLeftAssociative()
True if "(e1 op e2) op e3" can be printed as "e1 op e2 op e3"
|
boolean |
isRightAssociative()
True if "e1 op (e2 op e3)" can be printed as "e1 op e2 op e3"
|
getFirst, getSecond
acceptChildren
getPosition, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
getPosition, setPosition
acceptChildren, print, printCore, toString, toStringCore
public static final int precedence
public static final java.lang.String operator
public static ImpliesFormula 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 boolean isLeftAssociative()
isLeftAssociative
in interface Expression
isLeftAssociative
in class ExpressionBase
public boolean isRightAssociative()
isRightAssociative
in interface Expression
isRightAssociative
in class ExpressionBase
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.