|
The Sparta Modeling Framework
|
Compressed version of ChkptWindow to be stored in the database. More...
#include <DatabaseCheckpoint.hpp>
Public Types | |
| using | chkpt_id_t = CheckpointBase::chkpt_id_t |
Public Attributes | |
| std::vector< char > | chkpt_bytes |
| chkpt_id_t | start_chkpt_id = CheckpointBase::UNIDENTIFIED_CHECKPOINT |
| chkpt_id_t | end_chkpt_id = CheckpointBase::UNIDENTIFIED_CHECKPOINT |
| uint64_t | start_tick = 0 |
| uint64_t | end_tick = 0 |
| bool | ignore = false |
Compressed version of ChkptWindow to be stored in the database.
Definition at line 38 of file DatabaseCheckpoint.hpp.
| using sparta::serialization::checkpoint::ChkptWindowBytes::chkpt_id_t = CheckpointBase::chkpt_id_t |
Definition at line 39 of file DatabaseCheckpoint.hpp.
| std::vector<char> sparta::serialization::checkpoint::ChkptWindowBytes::chkpt_bytes |
Definition at line 40 of file DatabaseCheckpoint.hpp.
| chkpt_id_t sparta::serialization::checkpoint::ChkptWindowBytes::end_chkpt_id = CheckpointBase::UNIDENTIFIED_CHECKPOINT |
Definition at line 42 of file DatabaseCheckpoint.hpp.
| uint64_t sparta::serialization::checkpoint::ChkptWindowBytes::end_tick = 0 |
Definition at line 44 of file DatabaseCheckpoint.hpp.
| bool sparta::serialization::checkpoint::ChkptWindowBytes::ignore = false |
Definition at line 45 of file DatabaseCheckpoint.hpp.
| chkpt_id_t sparta::serialization::checkpoint::ChkptWindowBytes::start_chkpt_id = CheckpointBase::UNIDENTIFIED_CHECKPOINT |
Definition at line 41 of file DatabaseCheckpoint.hpp.
| uint64_t sparta::serialization::checkpoint::ChkptWindowBytes::start_tick = 0 |
Definition at line 43 of file DatabaseCheckpoint.hpp.