double speed();
int core_count();
xbt_dict_t properties();
+ const char*property(const char*key);
+ void setProperty(const char*key, const char *value);
xbt_swag_t processes();
double currentPowerPeak();
double powerPeakAt(int pstate_index);
extern int MSG_HOST_LEVEL;
extern int SIMIX_HOST_LEVEL;
-extern int ROUTING_HOST_LEVEL;
extern int USER_HOST_LEVEL;
#endif /* SIMGRID_S4U_HOST_HPP */