Package | Description |
---|---|
fmrisc.ProgramExplorer.Syntax | |
fmrisc.ProgramExplorer.Syntax.Logic |
Modifier and Type | Method and Description |
---|---|
void |
ASTVisitor.visit(ValueDeclarationClass tree) |
void |
ASTPrinter.visit(ValueDeclarationClass decl) |
void |
ASTCloner.visit(ValueDeclarationClass tree) |
void |
ASTVisitorBase.visit(ValueDeclarationClass tree) |
Modifier and Type | Class and Description |
---|---|
class |
ValueDeclarationFormula
The declaration of a value (predicate) initialized by a formula
|
class |
ValueDeclarationInitialized
The declaration of a value with initialization.
|
Modifier and Type | Method and Description |
---|---|
static ValueDeclarationClass |
ValueDeclarationClass.construct(Identifier name,
Type type)
Create new declaration of a constant denoting a value.
|