z3str3: refactoring, move regex automata methods to theory_str_regex

Z3Prover · Oct 26, 2019 · be99d3d · be99d3d
1 parent ed03c1d
commit be99d3d
Show file tree

Hide file tree

Showing 3 changed files with 1,620 additions and 1,596 deletions.
diff --git a/src/smt/CMakeLists.txt b/src/smt/CMakeLists.txt
@@ -67,6 +67,7 @@ z3_add_component(smt
     theory_seq.cpp
     theory_special_relations.cpp
     theory_str.cpp
+    theory_str_regex.cpp
     theory_utvpi.cpp
     theory_wmaxsat.cpp
     uses_theory.cpp