Uses of Class
fmrisc.ProofNavigator.Syntax.SelectorBase

Packages that use SelectorBase

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of SelectorBase in fmrisc.ProofNavigator.Syntax

Subclasses of SelectorBase in fmrisc.ProofNavigator.Syntax

Modifier and Type	Class and Description
class	SelectorIdentifier Identifier as selector.
class	SelectorIndex General index expression as selector.
class	SelectorNumber Number as selector.