|
The Sparta Modeling Framework
|
Arch ID range at a particular tick. More...
#include <CherryPickFastCheckpointer.hpp>
Public Attributes | |
| arch_id_t | start_arch_id = UINT64_MAX |
| arch_id_t | end_arch_id = UINT64_MAX |
| tick_t | tick = UINT64_MAX |
Arch ID range at a particular tick.
Definition at line 144 of file CherryPickFastCheckpointer.hpp.
| arch_id_t sparta::serialization::checkpoint::CherryPickFastCheckpointer::ArchIdsForTick::end_arch_id = UINT64_MAX |
Definition at line 146 of file CherryPickFastCheckpointer.hpp.
| arch_id_t sparta::serialization::checkpoint::CherryPickFastCheckpointer::ArchIdsForTick::start_arch_id = UINT64_MAX |
Definition at line 145 of file CherryPickFastCheckpointer.hpp.
| tick_t sparta::serialization::checkpoint::CherryPickFastCheckpointer::ArchIdsForTick::tick = UINT64_MAX |
Definition at line 147 of file CherryPickFastCheckpointer.hpp.