diff options
Diffstat (limited to 'src/theory/strings/kinds')
-rw-r--r-- | src/theory/strings/kinds | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/theory/strings/kinds b/src/theory/strings/kinds index aa1e2627a..cd8550905 100644 --- a/src/theory/strings/kinds +++ b/src/theory/strings/kinds @@ -31,6 +31,9 @@ operator STRING_CODE 1 "string to code, returns the code of the first character operator STRING_TOLOWER 1 "string to lowercase conversion" operator STRING_TOUPPER 1 "string to uppercase conversion" operator STRING_REV 1 "string reverse" +operator STRING_SK_PREFIX 2 "string prefix" +operator STRING_SK_SUFFIX 2 "string suffix" +operator STRING_SK_FIRST_CTN_PRE 2 "string suffix" sort STRING_TYPE \ Cardinality::INTEGERS \ @@ -106,6 +109,9 @@ typerule STRING_CODE "SimpleTypeRule<RInteger, AString>" typerule STRING_TOUPPER "SimpleTypeRule<RString, AString>" typerule STRING_TOLOWER "SimpleTypeRule<RString, AString>" typerule STRING_REV "SimpleTypeRule<RString, AString>" +typerule STRING_SK_PREFIX "SimpleTypeRule<RString, AString, AInteger>" +typerule STRING_SK_SUFFIX "SimpleTypeRule<RString, AString, AInteger>" +typerule STRING_SK_FIRST_CTN_PRE "SimpleTypeRule<RString, AString, AString>" typerule STRING_IN_REGEXP "SimpleTypeRule<RBool, AString, ARegExp>" |