projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc42f53) | patch
arrays: Use EnvObj::rewrite and EnvObj::options. (#7217)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 22 Sep 2021 17:46:53 +0000 (10:46 -0700)
committerGitHub <noreply@github.com>
Wed, 22 Sep 2021 17:46:53 +0000 (17:46 +0000)
commit98f80e6ccc23df7d17f452a3259dd4c3d7aff4c6
treeaa149cfff072fab26ea60afc80967ebda29f3fdatree
parentfc42f53145e403216b2a5cf91cc437de7456a0f6commit | diff
arrays: Use EnvObj::rewrite and EnvObj::options. (#7217)

This does not yet clean up the usage of Rewriter::rewrite in the arrays
type enumerator yet. Will be cleaned up in a follow-up PR.
src/theory/arrays/theory_arrays.cpp diff | blob | history
src/theory/arrays/theory_arrays_rewriter.cpp diff | blob | history
src/theory/arrays/theory_arrays_rewriter.h diff | blob | history