object
number_grammars(Format)
ï
Number grammars.
Availability:
logtalk_load(grammars(loader))
Author: Paulo Moura
Version: 0:2:2
Date: 2024-03-14
Compilation flags:
static, context_switching_calls
Uses:
Remarks:
(none)
Inherited public predicates:
(none)
Public predicatesï
bit//1
ï
Parses a single bit.
Compilation flags:
static
Template:
bit(Bit)
Mode and number of proofs:
bit(?integer)
- zero_or_one
bits//1
ï
Parses a sequence of one or more bits.
Compilation flags:
static
Template:
bits(Bits)
Mode and number of proofs:
bits(?list(integer))
- zero_or_one
digit//1
ï
Parses a single decimal digit.
Compilation flags:
static
Template:
digit(Digit)
Mode and number of proofs:
digit(?atomic)
- zero_or_one
digits//1
ï
Parses a sequence of zero of more digits.
Compilation flags:
static
Template:
digits(Digits)
Mode and number of proofs:
digits(?list(atomic))
- one
hex_digit//1
ï
Parses a single hexa-decimal digit.
Compilation flags:
static
Template:
hex_digit(HexDigit)
Mode and number of proofs:
hex_digit(?atomic)
- zero_or_one
hex_digits//1
ï
Parses a sequence of zero or more hexa-decimal digits.
Compilation flags:
static
Template:
hex_digits(HexDigits)
Mode and number of proofs:
hex_digits(?list(atomic))
- one
natural//1
ï
Parses a natural number (a non signed integer).
Compilation flags:
static
Template:
natural(Natural)
Mode and number of proofs:
natural(?non_negative_integer)
- zero_or_one
integer//1
ï
Parses an integer.
Compilation flags:
static
Template:
integer(Integer)
Mode and number of proofs:
integer(?integer)
- zero_or_one
float//1
ï
Parses a float.
Compilation flags:
static
Template:
float(Float)
Mode and number of proofs:
float(?float)
- zero_or_one
number//1
ï
Parses a number (an integer or a float).
Compilation flags:
static
Template:
number(Number)
Mode and number of proofs:
number(?number)
- zero_or_one
sign//1
ï
Parses a number sign (plus or minus).
Compilation flags:
static
Template:
sign(Sign)
Mode and number of proofs:
sign(?atomic)
- zero_or_one
dot//1
ï
Parses a decimal dot.
Compilation flags:
static
Template:
dot(Dot)
Mode and number of proofs:
dot(?atomic)
- zero_or_one
Protected predicatesï
(no local declarations; see entity ancestors if any)
Private predicatesï
(no local declarations; see entity ancestors if any)
Operatorsï
(none)