}
-
-/*
-host::host() {
- // TODO Auto-generated constructor stub
-
+// =========== user-level functions ===============
+// ================================================
+double sg_host_get_speed(sg_host_t host){
+ return surf_host_get_speed(host, 1.0);
}
-host::~host() {
- // TODO Auto-generated destructor stub
-}*/
-
+double sg_host_get_available_speed(sg_host_t host){
+ return surf_host_get_available_speed(host);
+}
+/** @brief Returns the number of core of the processor. */
+int sg_host_get_core(sg_host_t host) {
+ return surf_host_get_core(host);
+}
+/** @brief Returns the state of a host.
+ * @return 1 if the host is active or 0 if it has crashed.
+ */
+int sg_host_get_state(sg_host_t host) {
+ return surf_host_get_state(surf_host_resource_priv(host));
+}