mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-19 15:16:29 +00:00
Code Activity

Update atom2bool_var.cpp

Browse source
This commit is contained in:
Nikolaj Bjorner 2026-06-11 22:47:32 -07:00 • committed by GitHub
parent 96ac8bfd77
commit a3f07ba9ab
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/sat/smt/atom2bool_var.cpp
View file

@ -1,4 +1,4 @@
/*++
add a smart constructor to seq_util to create the simplified range given two characters. It would create either the empty regex, the singleton string or a range expression./*++
Copyright (c) 2011 Microsoft Corporation
Module Name:
@ -50,9 +50,9 @@ sat::bool_var atom2bool_var::to_bool_var(expr * n) const {
}
expr* atom2bool_var::bool_var2expr(sat::bool_var v) const {
for (auto const& kv : m_mapping)
if (kv.m_value == v)
return kv.m_key;
for (auto const& [key, val] : m_mapping)
if (val == v)
return key;
return nullptr;
}