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
Rename `EventSet::is_maximal_event_set()`
[simgrid.git]
/
src
/
mc
/
explo
/
udpor
/
EventSet.cpp
diff --git
a/src/mc/explo/udpor/EventSet.cpp
b/src/mc/explo/udpor/EventSet.cpp
index
5417103
..
3982cbe
100644
(file)
--- a/
src/mc/explo/udpor/EventSet.cpp
+++ b/
src/mc/explo/udpor/EventSet.cpp
@@
-129,7
+129,7
@@
bool EventSet::contains(const History& history) const
return std::all_of(history.begin(), history.end(), [=](const UnfoldingEvent* e) { return this->contains(e); });
}
return std::all_of(history.begin(), history.end(), [=](const UnfoldingEvent* e) { return this->contains(e); });
}
-bool EventSet::is_maximal
_event_set
() const
+bool EventSet::is_maximal() const
{
const History history(*this);
return *this == history.get_all_maximal_events();
{
const History history(*this);
return *this == history.get_all_maximal_events();