33 unsigned int index =
names.size();
34 names.emplace_back(name);
40 result.flags[index] =
true;
static std::vector< std::string > names
std::vector< bool > flags
static Event assign(const std::string &name)
#define DEAL_II_NAMESPACE_OPEN
#define DEAL_II_NAMESPACE_CLOSE
const Event new_timestep_size
const Event bad_derivative