mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-03 03:15:41 +00:00
Code Activity

use bool_vector

Browse source
This commit is contained in:
Chuyue Sun 2024-07-19 21:57:17 +00:00
parent c523ecc192
commit a08a0cb871
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/permutation.cpp
View file

@ -67,7 +67,7 @@ void permutation::display(std::ostream & out) const {
bool permutation::check_invariant() const { bool permutation::check_invariant() const {
SASSERT(m_p.size() == m_inv_p.size()); SASSERT(m_p.size() == m_inv_p.size());
unsigned n = m_p.size(); unsigned n = m_p.size();
std::vector<bool> check_vector(n, false); // To check for duplicate and out-of-range values bool_vector check_vector(n, false); // To check for duplicate and out-of-range values
for (unsigned i = 0; i < n; i++) { for (unsigned i = 0; i < n; i++) {
unsigned pi = m_p[i]; unsigned pi = m_p[i];
SASSERT(m_p[i] < n); SASSERT(m_p[i] < n);