CheckpointKey

data class CheckpointKey(val checkpointIndex: CheckpointIndex, val checkpointId: CheckpointId) : Comparable<CheckpointKey>

Used internally by the checkpoint manager to maintain ordered maps of checkpoints. Ordered by index only.

Constructors

Link copied to clipboard
constructor(checkpointIndex: CheckpointIndex, checkpointId: CheckpointId)

Properties

Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
open operator override fun compareTo(other: CheckpointKey): Int