42 : write_restart(
false),
43 interval_time(std::numeric_limits<double>::max()),
44 interval_wall_time(std::numeric_limits<double>::max()),
45 interval_time_steps(std::numeric_limits<unsigned int>::max()),
46 directory(
"./output/"),
49 degree_u(dealii::numbers::invalid_unsigned_int),
50 degree_p(dealii::numbers::invalid_unsigned_int),
51 triangulation_type(TriangulationType::Serial),
52 spatial_discretization(IncNS::SpatialDiscretization::L2),
53 discretization_identical(
false),
54 consider_mapping(
false),
55 mapping_degree(dealii::numbers::invalid_unsigned_int),
56 rpe_tolerance_unit_cell(1e-12),
57 rpe_enforce_unique_mapping(
false)
62 print(dealii::ConditionalOStream
const & pcout)
const
64 pcout <<
" Restart:" << std::endl;
65 print_parameter(pcout,
"Write restart", write_restart);
67 if(write_restart ==
true)
69 print_parameter(pcout,
"Interval physical time", interval_time);
70 print_parameter(pcout,
"Interval wall time", interval_wall_time);
71 print_parameter(pcout,
"Interval time steps", interval_time_steps);
72 print_parameter(pcout,
"Directory", directory);
73 print_parameter(pcout,
"Filename", filename);
78 do_restart(
double const wall_time,
80 types::time_step
const time_step_number,
81 bool const reset_counter)
const
88 counter += int((time + 1.e-10) / interval_time);
90 bool do_restart = wall_time > interval_wall_time * counter or time > interval_time * counter or
91 time_step_number > interval_time_steps * counter;
102 double interval_time;
105 double interval_wall_time;
108 unsigned int interval_time_steps;
111 std::string directory;
114 std::string filename;
117 mutable unsigned int counter;
120 unsigned int degree_u;
121 unsigned int degree_p;
124 TriangulationType triangulation_type;
127 IncNS::SpatialDiscretization spatial_discretization;
134 bool discretization_identical;
140 bool consider_mapping;
143 unsigned int mapping_degree;
146 double rpe_tolerance_unit_cell;
147 bool rpe_enforce_unique_mapping;