Uses of Class
fmrisc.AST.Reference

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