void merge(const GeneralDataStorage &other_data)
void remove_object_with_name(const std::string &name)
bool stores_object_with_name(const std::string &name) const
std::map< std::string, std::any > any_data
#define DEAL_II_NAMESPACE_OPEN
#define DEAL_II_NAMESPACE_CLOSE