Package | Description |
---|---|
fmrisc.ProofNavigator.Syntax |
Modifier and Type | Method and Description |
---|---|
static AxiomDeclaration |
Construct.axiomDeclaration(FormulaDeclIdentifier name,
Expression formula)
construct axiom declaration with denoted name and formula
|
AxiomDeclaration |
ArrayTerm.getAxiom()
Get declaration of axiom replacing expression
|
Modifier and Type | Method and Description |
---|---|
void |
ArrayTerm.setAxiom(AxiomDeclaration d)
Set declaration of axiom replacing expression
|