Searched refs:make_history_key (Results 1 – 1 of 1) sorted by relevance
183 static history_key make_history_key() in make_history_key() function in boost::statechart::detail::history_key464 history_key_type::make_history_key< historized_state >(), in clear_shallow_history()487 history_key_type::make_history_key< historized_state >(), in clear_deep_history()659 history_key_type::make_history_key< HistorizedState >(), in store_shallow_history()685 history_key_type::make_history_key< HistorizedState >(), in store_deep_history()1031 history_key_type::make_history_key< DefaultState >() ); in construct_with_history_impl()