		Search-engine friendly clone of the ACL2 documentation.

Std/strings

Equivalences

Basic equivalence relations.

The string library provides the various ACL2::equivalence relations about characters, character lists, and strings. We end up with the following ACL2::refinement hierarchy:

               equal
   ______________|________________
  |              |                |
chareqv         list-equiv       streqv
  |              |                |
ichareqv        charlisteqv      istreqv
                 |
                icharlisteqv

Subtopics

Charlisteqv: Case-sensitive character-list equivalence test.
Icharlisteqv: Case-insensitive character-list equivalence test.
Istreqv: Case-insensitive string equivalence test.
Ichareqv: Case-insensitive character equivalence test.
Streqv: Case-sensitive string equivalence test.
Chareqv: Case-sensitive character equivalence test.
Char-fix: Coerce to a character.
Str-fix: Coerce to a string.