projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 544cf41) | patch
Move (unrecursified) bv::utils::numNodes to lazy_bitblaster.cpp. (#1594)
authorAina Niemetz <aina.niemetz@gmail.com>
Sun, 11 Feb 2018 19:13:33 +0000 (11:13 -0800)
committerGitHub <noreply@github.com>
Sun, 11 Feb 2018 19:13:33 +0000 (11:13 -0800)
commitc9e58c9cf4b90e42d314b92054a010513da1502a
treeb45f6d2126bb764172af306c8e2b4f94732b7c9ftree
parent544cf41c1a5c1a3c8514c21d426ad66e578e67b0commit | diff
Move (unrecursified) bv::utils::numNodes to lazy_bitblaster.cpp. (#1594)

This unrecursifies and moves bv::utils::numNodes to an unnamed namespace in lazy_bitblaster.cpp
(only place where it is used). Tested against the recursive implementation (with a temporary
Assertion) on regression tests.
src/theory/bv/lazy_bitblaster.cpp diff | blob | history
src/theory/bv/theory_bv_utils.cpp diff | blob | history
src/theory/bv/theory_bv_utils.h diff | blob | history