|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Reference | |
fmrisc.AST | |
fmrisc.ProofNavigator.Commands |
Uses of Reference in fmrisc.AST |
Methods in fmrisc.AST that return Reference | |
Reference |
ValuedIdentifier.getIdentifier()
returns identifier |
Reference |
SelectorIdentifier.getIdentifier()
return identifier |
static Reference |
Construct.reference(java.lang.String name)
construct referenc with denoted name. |
static Reference |
Construct.reference(ValueDeclIdentifier ident)
construct referenc from declaration identifier. |
Methods in fmrisc.AST with parameters of type Reference | |
static ValuedIdentifier |
Construct.valuedIdentifier(Reference identifier,
Expression value)
construct identifier with value from identifier and value. |
static SelectorIdentifier |
Construct.selectorIdentifier(Reference base)
make selector from identifier base |
Constructors in fmrisc.AST with parameters of type Reference | |
ValuedIdentifier(Reference identifier,
Expression value)
construct identifier with value from identifier and value. |
|
SelectorIdentifier(Reference base)
make selector from identifier base |
Uses of Reference in fmrisc.ProofNavigator.Commands |
Methods in fmrisc.ProofNavigator.Commands that return Reference | |
Reference |
Prove.getIdent()
get name of formula to be proved |
Constructors in fmrisc.ProofNavigator.Commands with parameters of type Reference | |
Prove(Reference ident)
create a prove command |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |