Searched refs:snapshot_hash (Results 1 – 1 of 1) sorted by relevance
55 const auto snapshot_hash = static_cast<SnapshotHash>(hasher.digest()); in AddSnapshot() local88 ClockSnapshots& vect = domain.snapshots[snapshot_hash]; in AddSnapshot()156 graph_.emplace(it1->clock_id, it2->clock_id, snapshot_hash); in AddSnapshot()159 graph_.emplace(it2->clock_id, it1->clock_id, snapshot_hash); in AddSnapshot()