diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-06-28 15:45:51 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-28 20:45:51 +0000 |
commit | 8ca7aa981af4c6229746aa0c1b3f3f67ddb68b23 (patch) | |
tree | 7c354da7ce9d0023565fcbbae83bde222da53dea /src/theory/strings/kinds | |
parent | 43fffe772a89537dfecea7e63352a03b922a0fbc (diff) |
Rename internal string kinds to match API (#6797)
This commit replaces (old) internal string kind names to match the API / smt2 standard names.
Diffstat (limited to 'src/theory/strings/kinds')
-rw-r--r-- | src/theory/strings/kinds | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/theory/strings/kinds b/src/theory/strings/kinds index 743a5c006..aa95ef2f8 100644 --- a/src/theory/strings/kinds +++ b/src/theory/strings/kinds @@ -18,13 +18,13 @@ operator STRING_LENGTH 1 "string length" operator STRING_SUBSTR 3 "string substr" operator STRING_UPDATE 3 "string update" operator STRING_CHARAT 2 "string charat" -operator STRING_STRCTN 2 "string contains" +operator STRING_CONTAINS 2 "string contains" operator STRING_LT 2 "string less than" operator STRING_LEQ 2 "string less than or equal" -operator STRING_STRIDOF 3 "string index of substring" +operator STRING_INDEXOF 3 "string index of substring" operator STRING_INDEXOF_RE 3 "string index of regular expression match" -operator STRING_STRREPL 3 "string replace" -operator STRING_STRREPLALL 3 "string replace all" +operator STRING_REPLACE 3 "string replace" +operator STRING_REPLACE_ALL 3 "string replace all" operator STRING_REPLACE_RE 3 "string replace regular expression match" operator STRING_REPLACE_RE_ALL 3 "string replace all regular expression matches" operator STRING_PREFIX 2 "string prefixof" @@ -149,11 +149,11 @@ typerule STRING_LENGTH ::cvc5::theory::strings::StringStrToIntTypeRule typerule STRING_SUBSTR ::cvc5::theory::strings::StringSubstrTypeRule typerule STRING_UPDATE ::cvc5::theory::strings::StringUpdateTypeRule typerule STRING_CHARAT ::cvc5::theory::strings::StringAtTypeRule -typerule STRING_STRCTN ::cvc5::theory::strings::StringRelationTypeRule -typerule STRING_STRIDOF ::cvc5::theory::strings::StringIndexOfTypeRule +typerule STRING_CONTAINS ::cvc5::theory::strings::StringRelationTypeRule +typerule STRING_INDEXOF ::cvc5::theory::strings::StringIndexOfTypeRule typerule STRING_INDEXOF_RE "SimpleTypeRule<RInteger, AString, ARegExp, AInteger>" -typerule STRING_STRREPL ::cvc5::theory::strings::StringReplaceTypeRule -typerule STRING_STRREPLALL ::cvc5::theory::strings::StringReplaceTypeRule +typerule STRING_REPLACE ::cvc5::theory::strings::StringReplaceTypeRule +typerule STRING_REPLACE_ALL ::cvc5::theory::strings::StringReplaceTypeRule typerule STRING_REPLACE_RE "SimpleTypeRule<RString, AString, ARegExp, AString>" typerule STRING_REPLACE_RE_ALL "SimpleTypeRule<RString, AString, ARegExp, AString>" typerule STRING_PREFIX ::cvc5::theory::strings::StringStrToBoolTypeRule |