• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
      • Std/lists
      • Std/alists
      • Obags
      • Std/util
      • Std/strings
        • Pretty-printing
        • Printtree
        • Base64
        • Charset-p
        • Strtok!
        • Cases
        • Concatenation
        • Html-encoding
        • Character-kinds
        • Substrings
          • Istrpos
          • Strrpos
          • Strpos
          • Collect-syms-with-isubstr
          • Istrprefixp
          • Collect-strs-with-isubstr
          • Iprefixp
          • Strsuffixp
          • Firstn-chars
          • Strprefixp
          • Isubstrp
          • Substrp
        • Strtok
        • Equivalences
        • Url-encoding
        • Lines
        • Explode-implode-equalities
        • Ordering
        • Numbers
        • Pad-trim
        • Coercion
        • Std/strings/digit-to-char
        • Substitution
        • Symbols
      • Std/osets
      • Std/io
      • Std/basic
      • Std/system
      • Std/typed-lists
      • Std/bitsets
      • Std/testing
      • Std/typed-alists
      • Std/stobjs
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
    • Math
    • Testing-utilities
  • Std/strings

Substrings

Functions for detecting substrings, prefixes, and suffixes.

Subtopics

Istrpos
Case-insensitivly locate the first occurrence of a substring.
Strrpos
Locate the last occurrence of a substring.
Strpos
Locate the first occurrence of a substring.
Collect-syms-with-isubstr
Gather symbols whose names have some (case-insensitive) substring.
Istrprefixp
Case-insensitive string prefix test.
Collect-strs-with-isubstr
Gather strings that have some (case-insensitive) substring.
Iprefixp
Case-insensitive character-list prefix test.
Strsuffixp
Case-sensitive string suffix test.
Firstn-chars
Efficient way to take leading characters from a string.
Strprefixp
Case-sensitive string prefix test.
Isubstrp
Case-insensitively test for the existence of a substring.
Substrp
Case-sensitive test for the existence of a substring.