object
number_grammars(Format)
Number grammars.
Author: Paulo Moura
Version: 0:2:0
Date: 2022-02-15
Compilation flags:
static, context_switching_callsUses:
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
bit//1
Parses a single bit.
Compilation flags:
staticMode and number of proofs:
bit(?integer) - zero_or_onebits//1
Parses a sequence of one of more bits.
Compilation flags:
staticMode and number of proofs:
bits(?list(integer)) - zero_or_onedigit//1
Parses a single decimal digit.
Compilation flags:
staticMode and number of proofs:
digit(?atomic) - zero_or_onedigits//1
Parses a sequence of zero of more digits.
Compilation flags:
staticMode and number of proofs:
digits(?list(atomic)) - onehex_digit//1
Parses a single hexa-decimal digit.
Compilation flags:
staticMode and number of proofs:
hex_digit(?atomic) - zero_or_onehex_digits//1
Parses a sequence of zero or more hexa-decimal digits.
Compilation flags:
staticMode and number of proofs:
hex_digits(?list(atomic)) - onenatural//1
Parses a natural number (a non signed integer).
Compilation flags:
staticMode and number of proofs:
natural(?non_negative_integer) - zero_or_oneinteger//1
Parses an integer.
Compilation flags:
staticMode and number of proofs:
integer(?integer) - zero_or_onefloat//1
Parses a float.
Compilation flags:
staticMode and number of proofs:
float(?float) - zero_or_onenumber//1
Parses a number (an integer or a float).
Compilation flags:
staticMode and number of proofs:
number(?number) - zero_or_onesign//1
Parses a number sign.
Compilation flags:
staticMode and number of proofs:
sign(?atomic) - zero_or_onedot//1
Parses a decimal dot.
Compilation flags:
staticMode and number of proofs:
dot(?atomic) - zero_or_oneProtected predicates
(no local declarations; see entity ancestors if any)
Private predicates
(no local declarations; see entity ancestors if any)
Operators
(none)