diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-05-27 18:05:07 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-27 16:05:07 -0700 |
commit | 4df14f1e09549be607123c66b7dd206e8e244c89 (patch) | |
tree | 3104897629ebe9efe4d14983ad89fb0d8778d4f2 /src/expr/CMakeLists.txt | |
parent | 449cf281987eb8a2d43a572817db5c870a010c08 (diff) |
Add the Expr-level sequence datatype (#4526)
This adds the expr-level sequence datatypes. This is required for further progress on sequences. However, note that this class may be deleted in the further when the Expr level is replaced.
Diffstat (limited to 'src/expr/CMakeLists.txt')
-rw-r--r-- | src/expr/CMakeLists.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/expr/CMakeLists.txt b/src/expr/CMakeLists.txt index f2a4377d0..413041213 100644 --- a/src/expr/CMakeLists.txt +++ b/src/expr/CMakeLists.txt @@ -12,6 +12,8 @@ libcvc4_add_sources( expr_iomanip.cpp expr_iomanip.h expr_manager_scope.h + expr_sequence.cpp + expr_sequence.h kind_map.h match_trie.cpp match_trie.h @@ -32,6 +34,8 @@ libcvc4_add_sources( node_traversal.h node_value.cpp node_value.h + sequence.cpp + sequence.h node_visitor.h proof.cpp proof.h |