#include <history_policies.hpp>
Public Member Functions | |
| AlwaysHistoryImpl () | |
| ~AlwaysHistoryImpl () | |
| void | set_initial_states (int *const initial_states) |
| void | history_exit (int *const current_states) |
| template<class Event > | |
| const int * | history_entry (Event const &) |
| AlwaysHistoryImpl < NumberOfRegions > & | operator= (AlwaysHistoryImpl< NumberOfRegions > const &rhs) |
| template<class Event > | |
| bool | process_deferred_events (Event const &) const |
| template<class Archive > | |
| void | serialize (Archive &ar, const unsigned int) |
|
inline |
|
inline |
|
inline |
|
inline |
References boost::multiprecision::backends::i.
|
inline |
References boost::multiprecision::backends::i.
|
inline |
|
inline |
|
inline |
References boost::multiprecision::backends::i.