public final class AndFormula extends BinaryExpression
Constructor and Description |
---|
AndFormula(Expression base1,
Expression base2)
construct conjunction with components base1 and base2
|
Modifier and Type | Method and Description |
---|---|
BinaryExpression |
construct(Expression first,
Expression second)
Construct binary expression of the same kind as this expression.
|
int |
getPriority()
get binding level for printing (lower numbers mean greater binding power)
|
accept, getFirst, getSecond, instantiate, printCore
printPriority
print, printParens, toString
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
print, printParens, toString
public AndFormula(Expression base1, Expression base2)
base1
- the first componentbase2
- the second componentpublic int getPriority()
getPriority
in interface Expression
getPriority
in class ExpressionBase
public BinaryExpression construct(Expression first, Expression second)
construct
in class BinaryExpression
first
- an expression.second
- an expression.