boost::unordered_map<std::string, Host*> *Host::hosts
= new boost::unordered_map<std::string, Host*>();
boost::unordered_map<std::string, Host*> *Host::hosts
= new boost::unordered_map<std::string, Host*>();
p_inferior = sg_host_by_name(name);
if (p_inferior==NULL)
xbt_die("No such host: %s",name); //FIXME: raise an exception
p_inferior = sg_host_by_name(name);
if (p_inferior==NULL)
xbt_die("No such host: %s",name); //FIXME: raise an exception