Package | Description |
---|---|
fmrisc.ProofNavigator.Commands | |
fmrisc.ProofNavigator.Communication | |
fmrisc.ProofNavigator.Proving | |
fmrisc.ProofNavigator.Semantics | |
fmrisc.ProofNavigator.Syntax |
Modifier and Type | Method and Description |
---|---|
static java.util.Vector<Symbol> |
DeclarationC.getReferenced(java.util.Collection<Symbol> symbols,
Environment env)
Get value symbols from collection that are contained in environment.
|
Modifier and Type | Method and Description |
---|---|
static java.util.Vector<Symbol> |
DeclarationC.getReferenced(java.util.Collection<Symbol> symbols,
Environment env)
Get value symbols from collection that are contained in environment.
|
Modifier and Type | Method and Description |
---|---|
boolean |
Store.write(Declaration decl,
java.util.Collection<Symbol> referenced)
Write declaration to store.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Symbol> |
Proof.getReferenced()
Get collection of symbols of those entities referenced
in the last call of toNode().
|
Modifier and Type | Class and Description |
---|---|
class |
FormulaSymbol
Entries in FormulaTable.
|
class |
SymbolBase
Base class of symbols.
|
class |
TypeSymbol
Symbols in TypeTable.
|
class |
ValueSymbol
Symbols in ValueTable.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Symbol> |
Environment.getFormulaSymbols()
Get all formula symbols.
|
java.util.Vector<Symbol> |
Environment.getLocalVariables()
get local variables (all values with environment depth gt 0)
|
static java.util.Collection<Symbol> |
Checking.getReferencedSymbols()
get collection of referenced symbols
|
java.util.Collection<Symbol> |
SymbolTable.getSymbols()
Get all symbols.
|
java.util.Collection<Symbol> |
Environment.getTypeSymbols()
Get all type symbols.
|
java.util.Collection<Symbol> |
Environment.getValueSymbols()
Get all value symbols.
|
Modifier and Type | Method and Description |
---|---|
Symbol |
ValueDeclaration.getSymbol()
returns symbol
|
Symbol |
Declaration.getSymbol()
Returns symbol.
|
Symbol |
FormulaDeclaration.getSymbol()
returns symbol
|
Symbol |
Reference.getSymbol()
returns symbol associated to reference
|
Symbol |
TypeDeclaration.getSymbol()
returns symbol
|
Modifier and Type | Method and Description |
---|---|
static Reference |
Construct.reference(Symbol symbol)
Construct reference from symbol.
|
void |
Reference.setSymbol(Symbol symbol)
sets symbol associated to reference
|
Constructor and Description |
---|
Reference(java.lang.String name,
Symbol symbol)
construct reference from name and symbol
|