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

Packages that use DefinitionBase

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

Uses of DefinitionBase in fmrisc.ProgramExplorer.Syntax

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

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

Uses of DefinitionBase in fmrisc.ProgramExplorer.Syntax.Logic

Subclasses of DefinitionBase in fmrisc.ProgramExplorer.Syntax.Logic

Modifier and Type	Class and Description
class	AxiomDefinition The definition of an axiom
class	FormulaDefinition The definition of a formula
class	ValueDefinitionClass The definition of a value.