|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AxiomDeclaration | |
---|---|
fmrisc.Syntax |
Uses of AxiomDeclaration in fmrisc.Syntax |
---|
Methods in fmrisc.Syntax that return AxiomDeclaration | |
---|---|
static AxiomDeclaration |
Construct.axiomDeclaration(FormulaDeclIdentifier name,
Expression formula)
construct axiom declaration with denoted name and formula |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |