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
further reduce the amount of call sites for RemoteProcess::actors()
[simgrid.git]
/
src
/
mc
/
api.hpp
diff --git
a/src/mc/api.hpp
b/src/mc/api.hpp
index
085f299
..
2a9d250
100644
(file)
--- a/
src/mc/api.hpp
+++ b/
src/mc/api.hpp
@@
-17,8
+17,7
@@
#include "xbt/automaton.hpp"
#include "xbt/base.h"
#include "xbt/automaton.hpp"
#include "xbt/base.h"
-namespace simgrid {
-namespace mc {
+namespace simgrid::mc {
XBT_DECLARE_ENUM_CLASS(ExplorationAlgorithm, Safety, UDPOR, Liveness, CommDeterminism);
XBT_DECLARE_ENUM_CLASS(ExplorationAlgorithm, Safety, UDPOR, Liveness, CommDeterminism);
@@
-37,7
+36,7
@@
private:
struct DerefAndCompareByActorsCountAndUsedHeap {
template <class X, class Y> bool operator()(X const& a, Y const& b) const
{
struct DerefAndCompareByActorsCountAndUsedHeap {
template <class X, class Y> bool operator()(X const& a, Y const& b) const
{
- return std::make_pair(a->actor
s_count, a->heap_bytes_used) < std::make_pair(b->actors_count
, b->heap_bytes_used);
+ return std::make_pair(a->actor
_count_, a->heap_bytes_used) < std::make_pair(b->actor_count_
, b->heap_bytes_used);
}
};
}
};
@@
-54,10
+53,10
@@
public:
return api;
}
return api;
}
- simgrid::mc::Exploration* initialize(char** argv, simgrid::mc::ExplorationAlgorithm algo);
+ simgrid::mc::Exploration* initialize(char** argv, const std::unordered_map<std::string, std::string>& env,
+ simgrid::mc::ExplorationAlgorithm algo);
// ACTOR APIs
// ACTOR APIs
- std::vector<simgrid::mc::ActorInformation>& get_actors() const;
unsigned long get_maxpid() const;
// REMOTE APIs
unsigned long get_maxpid() const;
// REMOTE APIs
@@
-93,7
+92,6
@@
public:
xbt_automaton_state_t get_automaton_transition_dst(xbt_dynar_t const& dynar, int index) const;
};
xbt_automaton_state_t get_automaton_transition_dst(xbt_dynar_t const& dynar, int index) const;
};
-} // namespace mc
-} // namespace simgrid
+} // namespace simgrid::mc
#endif
#endif