Convert more uses of string-specific functions (#4158)

Towards theory of sequences.

1 files changed, 7 insertions, 0 deletions

diff --git a/src/theory/strings/word.h b/src/theory/strings/word.h
index 7b813a0b2..8e6e7876e 100644
--- a/src/theory/strings/word.h
+++ b/src/theory/strings/word.h
@@ -42,6 +42,13 @@ class Word
   /** Return the length of word x */
   static size_t getLength(TNode x);
 
+  /** Get characters
+   *
+   * Given word x, this returns the vector of words of length one whose
+   * concatenation is equivalent to x.
+   */
+  static std::vector<Node> getChars(TNode x);
+
   /** Return true if x is empty */
   static bool isEmpty(TNode x);