Uses of Class
fmrisc.ProofNavigator.Syntax.SelectorNumber

Packages that use SelectorNumber

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of SelectorNumber in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return SelectorNumber

Modifier and Type	Method and Description
static SelectorNumber	Construct.selectorNumber(Number base) make selector from number base