projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa65c60) | patch
BitVector: Extend interface of setBit to set it to a specific value. (#5173)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 1 Oct 2020 00:26:46 +0000 (17:26 -0700)
committerGitHub <noreply@github.com>
Thu, 1 Oct 2020 00:26:46 +0000 (17:26 -0700)
commitd7f92f70bb8ff221dc3d7cb086e5e2e237dadc67
tree26916ced6f98142dd9dc04c454ff6d0c8161a8d6tree
parentaa65c60968d0b8c0a7cd47adb2e9e1a684c0332acommit | diff
BitVector: Extend interface of setBit to set it to a specific value. (#5173)

Previously, BitVector::setBit only allowed to set the bit at the given
index to 1. This changes its behavior to be also able to set it to 0.
src/theory/bv/theory_bv_rewrite_rules_simplification.h diff | blob | history
src/util/bitvector.cpp diff | blob | history
src/util/bitvector.h diff | blob | history
src/util/integer_cln_imp.cpp diff | blob | history
src/util/integer_cln_imp.h diff | blob | history
src/util/integer_gmp_imp.cpp diff | blob | history
src/util/integer_gmp_imp.h diff | blob | history
test/unit/util/bitvector_black.h diff | blob | history