diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-03-02 11:57:26 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-02 11:57:26 -0600 |
commit | d85eefdf97566c22dddc94a3cf27ae19c24ec4f3 (patch) | |
tree | 614dc0ed8d4cf269ac996bb16fa2cfe5b65a6459 /src/expr | |
parent | 1117b3e69b16c992c5f41ff3f2873ac40fce2cff (diff) |
Split collect model info by types in strings (#3847)
Towards a theory of sequences.
We will need to do similar splits per type for most of the functions throughout strings.
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/type_node.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/expr/type_node.cpp b/src/expr/type_node.cpp index b003a7861..945462dd6 100644 --- a/src/expr/type_node.cpp +++ b/src/expr/type_node.cpp @@ -298,7 +298,11 @@ Node TypeNode::mkGroundValue() const return *te; } -bool TypeNode::isStringLike() const { return isString(); } +bool TypeNode::isStringLike() const +{ + // TODO (cvc4-projects #23): sequence here + return isString(); +} bool TypeNode::isSubtypeOf(TypeNode t) const { if(*this == t) { |