projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9af7e38) | patch
CBQI BV: Refactor solve_bv_constraint. (#1265)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 19 Oct 2017 19:31:42 +0000 (12:31 -0700)
committerGitHub <noreply@github.com>
Thu, 19 Oct 2017 19:31:42 +0000 (12:31 -0700)
commitfc0a5dcc002b12f075681d53e87cca1ddfbd479d
treeeccb265bdaef9f5d1a20f71651bcf1f7cb766453tree
parent9af7e38d6f0b3d01dea795a4847153047ac87f6ecommit | 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.
src/theory/quantifiers/bv_inverter.cpp diff | blob | history