Uses of Class
fmrisc.ProgramExplorer.Syntax.Logic.AxiomDefinition

Packages that use AxiomDefinition

Package	Description
fmrisc.ProgramExplorer.Semantics
fmrisc.ProgramExplorer.Syntax
fmrisc.ProgramExplorer.Syntax.Logic

Uses of AxiomDefinition in fmrisc.ProgramExplorer.Semantics

Methods in fmrisc.ProgramExplorer.Semantics that return AxiomDefinition

Modifier and Type	Method and Description
AxiomDefinition	AxiomSymbol.getDeclaration() Get declaration.

Methods in fmrisc.ProgramExplorer.Semantics with parameters of type AxiomDefinition

Modifier and Type	Method and Description
static AxiomSymbol	AxiomSymbol.construct(Identifier name, Formula formula, AxiomDefinition decl, TheorySymbol theory) Construct axiom symbol.

Uses of AxiomDefinition in fmrisc.ProgramExplorer.Syntax

Methods in fmrisc.ProgramExplorer.Syntax with parameters of type AxiomDefinition

Modifier and Type	Method and Description
void	ASTVisitor.visit(AxiomDefinition tree)
void	ASTCloner.visit(AxiomDefinition tree)
void	ASTVisitorBase.visit(AxiomDefinition tree)

Uses of AxiomDefinition in fmrisc.ProgramExplorer.Syntax.Logic

Methods in fmrisc.ProgramExplorer.Syntax.Logic that return AxiomDefinition

Modifier and Type	Method and Description
static AxiomDefinition	AxiomDefinition.construct(Identifier name, Formula formula) Create new declaration of a constant denoting a axiom.