diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-02-11 11:13:33 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-11 11:13:33 -0800 |
| commit | c9e58c9cf4b90e42d314b92054a010513da1502a (patch) | |
| tree | b45f6d2126bb764172af306c8e2b4f94732b7c9f /src/theory/quantifiers/sygus_sampler.h | |
| parent | 544cf41c1a5c1a3c8514c21d426ad66e578e67b0 (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.
Diffstat (limited to 'src/theory/quantifiers/sygus_sampler.h')
0 files changed, 0 insertions, 0 deletions