public class Factor extends AbstractFormula
| Constructor and Description |
|---|
Factor(MultiplicativeOperator operator,
UnaryExpression right) |
| Modifier and Type | Method and Description |
|---|---|
Factor |
clone() |
void |
dispatch(FormulaVisitor visitor) |
MultiplicativeOperator |
getOperator() |
UnaryExpression |
getRight() |
void |
print(PrettyPrintWriter out) |
asBinaryRelationalExpression, asPrimaryExpression, toSimpleString, toStringpublic Factor(MultiplicativeOperator operator, UnaryExpression right)
public Factor clone()
clone in class AbstractFormulapublic MultiplicativeOperator getOperator()
public UnaryExpression getRight()
public void print(PrettyPrintWriter out)
public void dispatch(FormulaVisitor visitor)
Copyright © 2019. All rights reserved.