102 using base =
typename A::base;
103 using rep =
typename base::handled_type;
104 auto iter = get_loaded_map().find (name);
105 if (iter != get_loaded_map().end()) {
106 verbose() && std::cerr <<
"persistent_table: \""<<name<<
"\" reused from table" << std::endl;
108 a.base::operator= (base((*iter).second,
typename base::internal()));
111 verbose() && std::cerr <<
"persistent_table: \""<<name<<
"\" created" << std::endl;
112 rep* ptr = rep::make_ptr (name);
114 a.base::operator= (ptr);
115 get_loaded_map().insert (std::make_pair(name, a.base::get_count()));