diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2017-10-19 12:31:42 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-19 12:31:42 -0700 |
commit | fc0a5dcc002b12f075681d53e87cca1ddfbd479d (patch) | |
tree | eccb265bdaef9f5d1a20f71651bcf1f7cb766453 /src/expr/node.cpp | |
parent | 9af7e38d6f0b3d01dea795a4847153047ac87f6e (diff) |
CBQI BV: Refactor solve_bv_constraint. (#1265)
This refactors function solve_bv_constraint to use a switch-case over kinds rather than an if-else chain.
Diffstat (limited to 'src/expr/node.cpp')
0 files changed, 0 insertions, 0 deletions