		Search-engine friendly clone of the ACL2 documentation.

Acre

Acre-internals

Umbrella topic for implementation-level documentation of acre.

Subtopics

Regex: Regular expression object
Match-string-at
Matchstatelist-measure
Parse-primitive
Parse-repeatop
Parse-repeatbase
Matches-remove-zero-length
Parse-range
Matchstatelist-in-bounds
Parse-charset-set
Match-regex-locs
Parse-octal-charcode
Parse-k-backref
Parse-charset-elem
Parse-charset-atom
Parse-g-backref
Parse-charset-aux
Matchstatelist-all-have-backref
Parse-repeatmod
Parse-hex-charcode
Parse-charset
Match-exact
Matchstatelist-indices-lte
Matchstatelist-indices-gte
Matches-add-backref
Preproc-legible-aux
Matchresult: Result of matching a regular expression
Match-charset
Undup-equiv
Maybe-backref: Option type; backref or nil.
Find-substr
Maybe-backref-extract-substr
Matchstatelist-min-index
Matchstate-in-bounds
Match-add-backref
Undup
Backref-alist-in-bounds
Backref
Matchstate
Matchresult->matched-substr: When the regular expression matched the string, returns the substring that it matched
Matchresult->captured-substr!: Returns the substring matched by the capture group with the given name or index, or the empty string if the capture group was not matched
Matchresult->captured-substr: Returns the substring matched by the capture group with the given name or index, or NIL if the capture group was not matched
Backref-extract-substr
Maybe-backref-in-bounds
Matchmode
Charset-range
Matchstate-measure
Backref-in-bounds
Parse-regex
Rev-keys
Undup-exec
Get-charset
Regex-concat2
Preproc-legible
Matchresult-in-bounds
Regex-disjunct2
Backref-alist: An alist mapping anything to backref-p.
Named-captures-bindings
Captures-bindings
Matchstatelist: A list of matchstate-p objects.
Charset-char-regex
Repeatmod-p