		Search-engine friendly clone of the ACL2 documentation.

Numbers

Hex

Functions for working with hexadecimal numbers in strings.

Subtopics

Parse-hex-from-string: Parse a hexadecimal number from a string, at some offset.
Hex-digit-char-p: Recognizer for hexadecimal digit characters: 0-9, A-F, a-f.
Nat-to-hex-chars: Convert a natural number into a list of hexadecimal bits.
Parse-hex-from-charlist: Parse a hexadecimal number from the beginning of a character list.
Hex-digit-chars-value: Coerces a hex-digit-char-list*p into a natural number.
Hex-digit-char-value: Coerces a hex-digit-char-p character into a number.
Take-leading-hex-digit-chars: Collect any leading hex digit characters from the start of a character list.
Hexify: Convert numbers into readable hex strings.
Hex-digit-char-listp: Recognize lists of hexadecimal digit characters.
Hex-digit-char-list*p: Recognizes lists of hex-digit-char-p characters.
Hex-digit-string-p: Recognizer for strings whose characters are hexadecimal digits.
Strval16: Interpret a string as a hexadecimal number.
Skip-leading-hex-digits: Skip over any leading hex digit characters at the start of a character list.
Nat-to-hex-string: Convert a natural number into a string with its hex digits.
Hexify-width: Convert numbers into readable hex strings, fixing the number of digits printed
Nonzero-hex-digit-char-p: Recognizer for non-zero hexadecimal digit characters: 1-9, A-F, a-f.
Nat-to-hex-string-list: Convert a list of natural numbers into a list of hex digit strings.
Revappend-nat-to-hex-chars: More efficient version of (revappend (nat-to-hex-chars n) acc).
Hex-digit-to-char: Convert a number from 0-15 into a hex character.
Nat-to-hex-string-size: Number of characters in the hexadecimal representation of a natural.