#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.