Uses of Interface
fmrisc.ProgramExplorer.Syntax.Logic.Definition

Packages that use Definition

Package	Description
fmrisc.ProgramExplorer.Syntax.Logic

Uses of Definition in fmrisc.ProgramExplorer.Syntax.Logic

Subinterfaces of Definition in fmrisc.ProgramExplorer.Syntax.Logic

Modifier and Type	Interface and Description
interface	ValueDefinition Interface to a value definition.

Classes in fmrisc.ProgramExplorer.Syntax.Logic that implement Definition

Modifier and Type	Class and Description
class	AxiomDefinition The definition of an axiom
class	DefinitionBase The base class of definitions.
class	FormulaDefinition The definition of a formula
class	TypeDefinition The definition of a type.
class	ValueDeclarationInitialized The declaration of a value with initialization.
class	ValueDefinitionClass The definition of a value.

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

Modifier and Type	Method and Description
Definition[]	LetExpression.getDefinitions() Get definitions.