39 template <
typename propagator_state_t,
typename stepper_t>
40 void operator()(propagator_state_t& state,
const stepper_t& ,
46 (state.navigation.targetReached || state.navigation.navigationBreak)) {
48 state.options.debugString =
"";
54 template <
typename propagator_state_t,
typename stepper_t>
56 const stepper_t& )
const {}