40 : write_restart(
false),
41 interval_time(std::numeric_limits<double>::max()),
42 interval_wall_time(std::numeric_limits<double>::max()),
43 interval_time_steps(std::numeric_limits<unsigned int>::max()),
50 print(dealii::ConditionalOStream
const & pcout)
const
52 pcout <<
" Restart:" << std::endl;
53 print_parameter(pcout,
"Write restart", write_restart);
55 if(write_restart ==
true)
57 print_parameter(pcout,
"Interval physical time", interval_time);
58 print_parameter(pcout,
"Interval wall time", interval_wall_time);
59 print_parameter(pcout,
"Interval time steps", interval_time_steps);
60 print_parameter(pcout,
"Filename", filename);
65 do_restart(
double const wall_time,
67 types::time_step
const time_step_number,
68 bool const reset_counter)
const
75 counter += int((time + 1.e-10) / interval_time);
77 bool do_restart = wall_time > interval_wall_time * counter or time > interval_time * counter or
78 time_step_number > interval_time_steps * counter;
92 double interval_wall_time;
95 unsigned int interval_time_steps;
101 mutable unsigned int counter;