public abstract class QuantorNode extends FormulaNode
Constructor and Description |
---|
QuantorNode() |
Modifier and Type | Method and Description |
---|---|
void |
addChild(FormulaNode child)
Add a child node with the formula the child is.
|
protected abstract java.lang.String |
getOperator() |
java.lang.String |
toString()
Write this node as a string
|
value
public void addChild(FormulaNode child)
child
- The child node.protected abstract java.lang.String getOperator()
public java.lang.String toString()
FormulaNode
toString
in class FormulaNode