public final class AxiomSymbol extends FormulaSymbol
Modifier and Type | Method and Description |
---|---|
static AxiomSymbol |
construct(Identifier name,
Formula formula,
AxiomDefinition decl,
TheorySymbol theory)
Construct axiom symbol.
|
AxiomDefinition |
getDeclaration()
Get declaration.
|
void |
print(java.io.PrintWriter out)
Print symbol on output stream.
|
construct, getFormula
getLongName
getName
public static AxiomSymbol construct(Identifier name, Formula formula, AxiomDefinition decl, TheorySymbol theory)
name
- the name of the symbol.formula
- the formula identified by the symbol.decl
- the declaration introducing the symbol.theory
- the theory in which the symbol occurs (may be null)public AxiomDefinition getDeclaration()
getDeclaration
in interface Symbol
getDeclaration
in class FormulaSymbol
public void print(java.io.PrintWriter out)
print
in interface Symbol
print
in class FormulaSymbol
out
- the output stream.