#include <termination.hpp>
References boost::statechart::detail::result_utility::get_result(), and boost::statechart::detail::no_reaction.