diff options
Diffstat (limited to 'src/theory/strings/theory_strings_utils.h')
| -rw-r--r-- | src/theory/strings/theory_strings_utils.h | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/theory/strings/theory_strings_utils.h b/src/theory/strings/theory_strings_utils.h index 0cfcd64d0..f97391df8 100644 --- a/src/theory/strings/theory_strings_utils.h +++ b/src/theory/strings/theory_strings_utils.h @@ -61,27 +61,6 @@ void getConcat(Node n, std::vector<Node>& c); Node mkConcat(const std::vector<Node>& c, TypeNode tn); /** - * Returns the rewritten form of the string concatenation of n1 and n2. - */ -Node mkNConcat(Node n1, Node n2); - -/** - * Returns the rewritten form of the string concatenation of n1, n2 and n3. - */ -Node mkNConcat(Node n1, Node n2, Node n3); - -/** - * Returns the rewritten form of the concatentation from vector c of - * (string-like) type tn. - */ -Node mkNConcat(const std::vector<Node>& c, TypeNode tn); - -/** - * Returns the rewritten form of the length of string term t. - */ -Node mkNLength(Node t); - -/** * Returns (pre t n), which is (str.substr t 0 n). */ Node mkPrefix(Node t, Node n); |