public final class AxiomDefinition extends FormulaDefinition
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
keyword |
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 AxiomDefinition |
construct(Identifier name,
Formula formula)
Create new declaration of a constant denoting a axiom.
|
AxiomSymbol |
getSymbol()
Get symbol introduced by declaration.
|
getValue
acceptChildren
getName, getPosition, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
getName
getPosition, setPosition
print, printCore, toString, toStringCore
public static final java.lang.String keyword
public static AxiomDefinition construct(Identifier name, Formula formula)
name
- the name of the constant.formula
- the value of the constant.public AxiomSymbol getSymbol()
getSymbol
in class FormulaDefinition
public void accept(ASTVisitorOld visitor)
accept
in interface AST
accept
in class FormulaDefinition
visitor
- the visitor who is accepted by this node.public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class FormulaDefinition
visitor
- the visitor who is accepted by this node.