Public entry point: drain events queued after process_event returned (#456).
| 2415 | } |
| 2416 | // Public entry point: drain events queued after process_event returned (#456). |
| 2417 | constexpr void flush_queue() { |
| 2418 | aux::get<sm_impl<Tsm>>(sub_sms_).flush_queue(deps_, sub_sms_); |
| 2419 | } |
| 2420 | template <class T = aux::identity<sm_t>, class TVisitor, BOOST_SML_DETAIL_REQUIRES(concepts::callable<void, TVisitor>::value)> |
| 2421 | constexpr void visit_current_states(const TVisitor &visitor) const { |
| 2422 | using type = typename T::type; |
no outgoing calls
no test coverage detected