fmrisc.ProofNavigator.Syntax

Interface Selector

All Superinterfaces:

AST

All Known Implementing Classes:

SelectorBase, SelectorIdentifier, SelectorIndex, SelectorNumber

public interface Selector
extends AST

Interface to selectors.

Method Summary

Methods

Modifier and Type	Method and Description
Selector	instantiate() return copy of AST with value references instantiated by the substitutions set in the corresponding declaration identifiers

Methods inherited from interface fmrisc.ProofNavigator.Syntax.AST

accept, print, printCore, printParens, toString

Method Detail

instantiate

Selector instantiate()

return copy of AST with value references instantiated by the substitutions set in the corresponding declaration identifiers

Returns:

the instantiated copy