std::string instr_pid(simgrid::s4u::Actor const& proc)
{
return std::string(proc.get_name()) + "-" + std::to_string(proc.get_pid());
std::string instr_pid(simgrid::s4u::Actor const& proc)
{
return std::string(proc.get_name()) + "-" + std::to_string(proc.get_pid());