-/* Copyright (c) 2007-2022. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2007-2023. 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. */
aid_t get_ppid() const { return ppid_; }
static unsigned long get_maxpid() { return maxpid_; }
- // In MC mode, the application sends this pointer to the MC
- static unsigned long* get_maxpid_addr() { return &maxpid_; }
};
/*------------------------- [ ActorRestartingTrait ] -------------------------*/