Package | Description |
---|---|
fmrisc.ProgramExplorer.Semantics | |
fmrisc.ProgramExplorer.Syntax | |
fmrisc.ProgramExplorer.Syntax.Logic | |
fmrisc.ProgramExplorer.Tasks |
Modifier and Type | Method and Description |
---|---|
FormulaDefinition |
FormulaSymbol.getDeclaration()
Get declaration.
|
Modifier and Type | Method and Description |
---|---|
static FormulaSymbol |
FormulaSymbol.construct(Identifier name,
Formula formula,
FormulaDefinition decl,
TheorySymbol theory)
Construct formula symbol.
|
FormulaSymbol |
LogicEnvironment.putFormula(Identifier name,
Formula formula,
FormulaDefinition decl,
TheorySymbol theory)
Attempts to put formula into value table
|
Modifier and Type | Method and Description |
---|---|
void |
ASTVisitor.visit(FormulaDefinition tree) |
void |
ASTPrinter.visit(FormulaDefinition def) |
void |
ASTCloner.visit(FormulaDefinition tree) |
void |
ASTVisitorBase.visit(FormulaDefinition tree) |
Modifier and Type | Class and Description |
---|---|
class |
AxiomDefinition
The definition of an axiom
|
Modifier and Type | Method and Description |
---|---|
static FormulaDefinition |
FormulaDefinition.construct(Identifier name,
Formula formula)
Create new declaration of a constant denoting a formula.
|
Constructor and Description |
---|
FormulaTask(FormulaDefinition formula,
TheorySymbol theory,
java.io.File parent,
ErrorStream out)
Construct a task.
|