rename get_tokens to get_next_execution_tokens

[simgrid.git] / include / simgrid / plugins / task.hpp

diff --git a/include/simgrid/plugins/task.hpp b/include/simgrid/plugins/task.hpp
index a652cb6..67b5a68 100644 (file)
--- a/include/simgrid/plugins/task.hpp
+++ b/include/simgrid/plugins/task.hpp
@@ -65,7 +65,7 @@ public:
   void set_amount(double amount);
   double get_amount() const { return amount_; }
   void set_token(std::shared_ptr<void> token);
-  std::map<TaskPtr, std::shared_ptr<void>> get_tokens() const;
+  std::map<TaskPtr, std::shared_ptr<void>> get_next_execution_tokens() const;
   void add_successor(TaskPtr t);
   void remove_successor(TaskPtr t);
   void remove_all_successors();