-/* Copyright (c) 2010, 2013-2017. The SimGrid Team.
+/* Copyright (c) 2010-2018. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
*/
std::vector<simgrid::s4u::ActorPtr> rank_to_actor_map_;
std::map<simgrid::s4u::ActorPtr, int> actor_to_rank_map_;
- std::vector<int> rank_to_index_map_;
std::vector<int> index_to_rank_map_;
int refcount_;