Package | Description |
---|---|
fmrisc.ProofNavigator.Syntax |
Modifier and Type | Method and Description |
---|---|
Number |
SelectorNumber.getNumber()
get the base number
|
static Number |
Construct.number(java.lang.String value)
construct number with denoted value.
|
Modifier and Type | Method and Description |
---|---|
static SelectorNumber |
Construct.selectorNumber(Number base)
make selector from number base
|
Constructor and Description |
---|
SelectorNumber(Number base)
make selector from number base
|