Beispiel #1
0
 public void SetFinalizedCheckpoint(Checkpoint checkpoint) => FinalizedCheckpoint = checkpoint;
Beispiel #2
0
 public void SetPreviousJustifiedCheckpoint(Checkpoint checkpoint) => PreviousJustifiedCheckpoint = checkpoint;
Beispiel #3
0
 public void SetCurrentJustifiedCheckpoint(Checkpoint checkpoint) => CurrentJustifiedCheckpoint = checkpoint;