public final class AxiomDeclaration extends FormulaDeclaration
Constructor and Description |
---|
AxiomDeclaration(FormulaDeclIdentifier name,
Expression formula)
Construct axiom declaration with denoted name and formula.
|
Modifier and Type | Method and Description |
---|---|
AST |
accept(ASTVisitor visitor)
Accept visitor for a visit.
|
void |
printCore(java.io.PrintWriter out)
Prints text representation of tree on out (without new line termination).
|
getFormula, getFormulaDeclIdentifier, getIdentifier, getSymbol
print
printParens, toString
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
printParens, toString
public AxiomDeclaration(FormulaDeclIdentifier name, Expression formula)
name
- the declared nameformula
- the formula associated to the namepublic void printCore(java.io.PrintWriter out)
printCore
in interface AST
printCore
in class FormulaDeclaration
out
- the stream on which the text is writtenpublic AST accept(ASTVisitor visitor)
accept
in interface AST
accept
in class FormulaDeclaration
visitor
- the visitor who is accepted by this node.