|
ADS-IDAC Engine 5.0.0
|
One unexplored branch recorded in a checkpoint. More...
#include <DETCheckpoint.h>
Public Member Functions | |
| template<class Archive > | |
| void | serialize (Archive &ar, unsigned int) |
Public Attributes | |
| int | cid = 0 |
| Branch cluster ID the branch belongs to. More... | |
| int | branch_index = 0 |
| Index of the alternative within the cluster (1..N-1) More... | |
| int | sequence_id = 0 |
| Global sequence ID already assigned by the MPI server; 0 = assign at dispatch (serial checkpoints) More... | |
| int | parent_sequence_id = -1 |
| Sequence that generated the branch point (-1 = unknown) More... | |
One unexplored branch recorded in a checkpoint.
Definition at line 25 of file DETCheckpoint.h.
|
inline |
Definition at line 32 of file DETCheckpoint.h.
References branch_index, cid, parent_sequence_id, and sequence_id.
| int PendingBranch::branch_index = 0 |
Index of the alternative within the cluster (1..N-1)
Definition at line 27 of file DETCheckpoint.h.
Referenced by build_serial_checkpoint(), serialize(), and Server::write_checkpoint().
| int PendingBranch::cid = 0 |
Branch cluster ID the branch belongs to.
Definition at line 26 of file DETCheckpoint.h.
Referenced by build_serial_checkpoint(), serialize(), and Server::write_checkpoint().
| int PendingBranch::parent_sequence_id = -1 |
Sequence that generated the branch point (-1 = unknown)
Definition at line 29 of file DETCheckpoint.h.
Referenced by serialize(), and Server::write_checkpoint().
| int PendingBranch::sequence_id = 0 |
Global sequence ID already assigned by the MPI server; 0 = assign at dispatch (serial checkpoints)
Definition at line 28 of file DETCheckpoint.h.
Referenced by serialize(), and Server::write_checkpoint().