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

Packages that use ValueDeclaration

Package	Description
fmrisc.ProgramExplorer.Syntax.Logic

Uses of ValueDeclaration in fmrisc.ProgramExplorer.Syntax.Logic

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

Modifier and Type	Class and Description
class	TypedIdentifier An identifier with a type.
class	ValueDeclarationClass The declaration of a value.
class	ValueDeclarationFormula The declaration of a value (predicate) initialized by a formula
class	ValueDeclarationInitialized The declaration of a value with initialization.