rdts
rdts
API
rdts
base
Bottom
Bottom
Derived
ProductBottom
SumBottom
BottomOpt
BottomOpt
Lattice
Lattice
Derivation
ProductLattice
SumLattice
syntax
LocalUid
LocalUid
Orderings
LexicographicOrdering
Uid
Uid
datatypes
alternatives
rga
DeltaSequence
DeltaSequence
DeltaSequenceOrder
GrowOnlySequence
LatticeSequence
LatticeSequence
Sequence
RGAOps
SetLike
SetLike
Vertex
Vertex
MultiValueRegister
MultiValueRegister
ObserveRemoveSet
ObserveRemoveSet
ResettableCounter
ResettableCounter
contextual
CausalQueue
CausalQueue
QueueElement
EnableWinsFlag
EnableWinsFlag
MultiVersionRegister
MultiVersionRegister
ObserveRemoveMap
ObserveRemoveMap
Entry
Entry
ReplicatedList
ReplicatedList
ReplicatedSet
ReplicatedSet
experiments
protocols
raft
RaftState
RaftState
Propose
Vote
RaftToken
RaftTokens
RaftTokens
Accept
Accepted
Causal
Consensus
ExampleTokens
Exclusive
LogHack
Membership
Membership
MultiRoundVoting
MultiRoundVoting
Ownership
Ownership
Paxos
Paxos
consensus
Phase
Prepare
Promise
SimpleVoting
SimpleVoting
given_Bottom_SimpleVoting
Token
Token
Vote
Voting
Voting
given_Bottom_Int
given_Ordering_Accept
given_Ordering_Prepare
AEAD
AuctionInterface
AuctionData
AuctionData
bottom
Bid
Bid
Closed
Open
Status
ordering
Status
AutomergyOpGraphLWW
Entry
Op
set
undo
OpGraph
OpGraph
BoundedCounter
BoundedCounter
CausalDelta
CausalDelta
CausalStore
CausalStore
RubisInterface
State
Epoch
Epoch
GrowOnlyCounter
GrowOnlyCounter
GrowOnlyList
GrowOnlyList
Node
Elem
GrowOnlyMap
GrowOnlyMap
GrowOnlySet
LastWriterWins
LastWriterWins
GenericLastWriterWinsLattice
PosNegCounter
PosNegCounter
TwoPhaseSet
TwoPhaseSet
dotted
Dotted
Dotted
DottedLattice
HasDots
HasDots
HasDotsSet
MapHasDots
ProductHasDots
Obrem
Obrem
syntax
DeltaAWLWWMContainer
DeltaAWLWWMContainer
DeltaBuffer
DeltaBuffer
DeltaBufferContainer
DeltaBufferContainer
TestReplica
TestReplica
time
ArrayRanges
ArrayRanges
latticeInstance
partialOrder
CausalTime
CausalTime
causalTimeBottom
Dot
Dot
hasDot
Dots
Dots
given_HasDots_Dots
partialOrder
Time
VectorClock
VectorClock
rdts
/
rdts
/
rdts.time
/
Time
Time
rdts.time.Time$package.Time
object
Time
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Time
.
type
Members list
Clear all
Value members
Concrete methods
def
current
(
):
Time
In this article
Attributes
Members list
Value members
Concrete methods