return (const char*) xbt_dict_get_or_null(properties_,key);
}
/** @brief Change the value of a given key in the property set */
void PropertyHolder::setProperty(const char*key, const char*value) {
if (!properties_)
return (const char*) xbt_dict_get_or_null(properties_,key);
}
/** @brief Change the value of a given key in the property set */
void PropertyHolder::setProperty(const char*key, const char*value) {
if (!properties_)