diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-05-30 13:10:54 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-30 13:10:54 -0500 |
commit | ba659fb1b8bc2f110616ec113892f63f210a5ebb (patch) | |
tree | 9beaf9be94879a75f4c2cadf8289664b53cc1d1b /src/bindings | |
parent | da165b9cbee366d4e77716617f2e2c794da9bd46 (diff) |
Add the sequence type (#4539)
This adds basic infrastructure for the sequence type, including its type rules, type enumerator and extensions to type functions.
The next step will be to finalize the support in TheoryStrings for sequences and then add front end support for sequences in the API/parsers.
Diffstat (limited to 'src/bindings')
-rw-r--r-- | src/bindings/java/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/bindings/java/CMakeLists.txt b/src/bindings/java/CMakeLists.txt index 2cecf15e9..4e1b96af9 100644 --- a/src/bindings/java/CMakeLists.txt +++ b/src/bindings/java/CMakeLists.txt @@ -138,6 +138,7 @@ set(gen_java_files ${CMAKE_CURRENT_BINARY_DIR}/SWIGTYPE_p_std__vectorT_std__pairT_CVC4__Expr_CVC4__Expr_t_t.java ${CMAKE_CURRENT_BINARY_DIR}/SWIGTYPE_p_std__vectorT_std__vectorT_std__string_t_t.java ${CMAKE_CURRENT_BINARY_DIR}/SelectorType.java + ${CMAKE_CURRENT_BINARY_DIR}/SequenceType.java ${CMAKE_CURRENT_BINARY_DIR}/SetType.java ${CMAKE_CURRENT_BINARY_DIR}/SmtEngine.java ${CMAKE_CURRENT_BINARY_DIR}/SortConstructorType.java |