projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: abd0048) | patch
Move equivalence class info to its own file in strings (#3799)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 26 Feb 2020 16:17:30 +0000 (10:17 -0600)
committerGitHub <noreply@github.com>
Wed, 26 Feb 2020 16:17:30 +0000 (10:17 -0600)
commit9b09505bb2a8ed50622b9442700e7f98d010b955
treecdc9b8fe22178cf96346b068eef3377067f92f59tree
parentabd0048cdb6cf4d2ee0a096c9f7a63a1f7f1d9c8commit | diff
Move equivalence class info to its own file in strings (#3799)

Code move only, no updates to behavior or content of code in this PR.
src/CMakeLists.txt diff | blob | history
src/theory/strings/eqc_info.cpp [new file with mode: 0644] blob
src/theory/strings/eqc_info.h [new file with mode: 0644] blob
src/theory/strings/solver_state.cpp diff | blob | history
src/theory/strings/solver_state.h diff | blob | history