mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-09-08 18:51:26 +00:00
Code Activity

Made it more legal C++17

Browse source
This commit is contained in:
Matthew Parkinson 2018-10-15 16:59:31 +01:00
parent b1ab473035
commit 01005a46f6
4 changed files with 10 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/muz/base/dl_rule_set.cpp
View file

@ -696,9 +696,10 @@ namespace datalog {
}
strats_index++;
}
using namespace std::placeholders;
//we have managed to topologicaly order all the components
SASSERT(std::find_if(m_components.begin(), m_components.end(),
std::bind1st(std::not_equal_to<item_set*>(), (item_set*)0)) == m_components.end());
std::bind(std::not_equal_to<item_set*>(), (item_set*)0, _1)) == m_components.end());
//reverse the strats array, so that the only the later components would depend on earlier ones
std::reverse(m_strats.begin(), m_strats.end());