const char* getProperty(const char* key);
void setProperty(const char* key, const char* value);
Actor* restart();
const char* getProperty(const char* key);
void setProperty(const char* key, const char* value);
Actor* restart();
/** Block the actor, computing the given amount of flops */
XBT_PUBLIC(void) execute(double flop);
/** Block the actor, computing the given amount of flops */
XBT_PUBLIC(void) execute(double flop);
/** Block the actor, computing the given amount of flops at the given priority.
* An execution of priority 2 computes twice as fast as an execution at priority 1. */
XBT_PUBLIC(void) execute(double flop, double priority);
/** Block the actor, computing the given amount of flops at the given priority.
* An execution of priority 2 computes twice as fast as an execution at priority 1. */
XBT_PUBLIC(void) execute(double flop, double priority);