A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix most cosmetics and code warnings
[simgrid.git]
/
src
/
mc
/
explo
/
udpor
/
History.cpp
diff --git
a/src/mc/explo/udpor/History.cpp
b/src/mc/explo/udpor/History.cpp
index
544980a
..
bb24494
100644
(file)
--- a/
src/mc/explo/udpor/History.cpp
+++ b/
src/mc/explo/udpor/History.cpp
@@
-45,7
+45,7
@@
History::Iterator& History::Iterator::operator++()
maximal_events.subtract(candidates);
candidates.subtract(current_history);
maximal_events.subtract(candidates);
candidates.subtract(current_history);
- frontier.form_union(
std::move(candidates)
);
+ frontier.form_union(
candidates
);
}
return *this;
}
}
return *this;
}
@@
-72,9
+72,9
@@
EventSet History::get_all_maximal_events() const
return first.maximal_events;
}
return first.maximal_events;
}
-bool History::contains(UnfoldingEvent* e) const
+bool History::contains(
const
UnfoldingEvent* e) const
{
{
- return std::any_of(this->begin(), this->end(), [=](UnfoldingEvent* e_hist) { return e == e_hist; });
+ return std::any_of(this->begin(), this->end(), [=](
const
UnfoldingEvent* e_hist) { return e == e_hist; });
}
EventSet History::get_event_diff_with(const Configuration& config) const
}
EventSet History::get_event_diff_with(const Configuration& config) const