-/* Copyright (c) 2017-2021. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2017-2022. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
ExecPtr set_flops_amounts(const std::vector<double>& flops_amounts);
ExecPtr set_bytes_amounts(const std::vector<double>& bytes_amounts);
+ ExecPtr set_thread_count(int thread_count);
+
ExecPtr set_bound(double bound);
ExecPtr set_priority(double priority);
ExecPtr update_priority(double priority);