public final class LessFormula extends BinaryAtomicFormula
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
operator |
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 LessFormula |
construct(Term first,
Term second)
Construct an is-less-than formula.
|
java.lang.String |
getOperator()
Get textual representation of operator.
|
getFirst, getPrecedence, 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 java.lang.String operator
public static LessFormula construct(Term first, Term second)
first
- the first (left) part.second
- the right (second) part.public java.lang.String getOperator()
getOperator
in class BinaryExpression
public void accept(ASTVisitorOld visitor)
accept
in interface AST
accept
in class BinaryAtomicFormula
visitor
- the visitor who is accepted by this node.public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class BinaryAtomicFormula
visitor
- the visitor who is accepted by this node.