-ModelChecker::~ModelChecker()
-{
- xbt_dict_free(&this->hostnames_);
-}
-
-const char* ModelChecker::get_host_name(const char* hostname)
-{
- // Lookup the host name in the dictionary (or create it):
- xbt_dictelm_t elt = xbt_dict_get_elm_or_null(this->hostnames_, hostname);
- if (!elt) {
- xbt_dict_set(this->hostnames_, hostname, nullptr, nullptr);
- elt = xbt_dict_get_elm_or_null(this->hostnames_, hostname);
- assert(elt);
- }
- return elt->key;
-}