rdts
rdts
API
rdts
base
Bottom
Bottom
Derived
ProductBottom
SumBottom
BottomOpt
BottomOpt
Decompose
Decompose
Derivation
ProductDecompose
SumDecompose
DecoratedLattice
DecoratedLattice
Lattice
Lattice
Derivation
MirrorOrdinal
ProductLattice
SumLattice
OrdinalLattices
syntax
LocalUid
LocalUid
Orderings
LexicographicOrdering
Uid
Uid
UidEncoding
datatypes
EnableWinsFlag
EnableWinsFlag
Epoch
Epoch
GrowOnlyCounter
GrowOnlyCounter
GrowOnlyList
GrowOnlyList
LastWriterWins
LastWriterWins
GenericLastWriterWinsLattice
MultiVersionRegister
MultiVersionRegister
ObserveRemoveMap
ObserveRemoveMap
Entry
Entry
PosNegCounter
PosNegCounter
ReplicatedList
ReplicatedList
ReplicatedSet
ReplicatedSet
experiments
AEAD
AuctionInterface
AuctionData
AuctionData
bottom
Bid
Closed
Open
Status
Status
AutomergyOpGraphLWW
Entry
Op
set
undo
OpGraph
OpGraph
BoundedCounter
BoundedCounter
CausalStore
CausalStore
CausalDelta
RubisInterface
State
filters
Filter
Filter
dotsFilter
FilterDerivation
ProductTypeFilter
SumTypeFilter
TerminalFilter
Group
InvalidPathException
Operation
Permission
PermissionTree
PermissionTree
bottom
lattice
Rule
protocols
messagebased
Message
Prepare
Promise
Messaging
MultiPaxos
old
simplified
Accept
Accepted
GeneralizedPaxos
GeneralizedPaxos
consensus
Paxos
Paxos
bottom
consensus
given_Ordering_ProposalNum
Prepare
Promise
ProposalNum
Accept
Accepted
Paxos
Paxos
consensus
Phase
Prepare
Promise
Vote
Voting
Voting
given_Bottom_Int
given_Ordering_Accept
given_Ordering_Prepare
paper
BallotNum
MultiPaxos
MultiPaxos
MultipaxosPhase
Paxos
Paxos
consensus
given_Ordering_BallotNum
PaxosRound
Util
Agreement
Decided
Vote
Voting
Voting
raft
RaftState
RaftState
Propose
Vote
RaftToken
RaftTokens
RaftTokens
Acknowledge
BallotNum
BallotNum
given_Ordering_BallotNum
Consensus
Consensus
ExampleTokens
Exclusive
Membership
Membership
MembershipRound
MembershipRound
MultiPaxos
MultiPaxos
MultiRoundVoting
MultiRoundVoting
MultipaxosPhase
Ownership
Ownership
Participants
Participants
Paxos
Paxos
consensus
PaxosRound
PrepareAbort
Token
Token
TwoPhaseCommit
Vote
Voting
Voting
syntax
oldCompat
DeltaAWLWWMContainer
DeltaAWLWWMContainer
DeltaBuffer
DeltaBufferContainer
time
ArrayRanges
ArrayRanges
latticeInstance
partialOrder
CausalTime
CausalTime
causalTimeBottom
Dot
Dot
Dots
Dots
partialOrder
Time
VectorClock
VectorClock
bottom
rdts
/
rdts
/
rdts.protocols
/
Ownership
Ownership
rdts.protocols.Ownership
See the
Ownership
companion class
object
Ownership
Attributes
Companion
class
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Product
trait
Mirror
class
Object
trait
Matchable
class
Any
Self type
Ownership
.
type
Members list
Clear all
Type members
Inherited and Abstract types
type
MirroredElemLabels
<:
Tuple
The names of the product elements
The names of the product elements
Attributes
Inherited from:
Mirror
type
MirroredLabel
<:
String
The name of the type
The name of the type
Attributes
Inherited from:
Mirror
Value members
Concrete methods
def
unchanged
:
Ownership
Givens
Givens
given
bottom
:
Bottom
[
Ownership
]
given
given_Lattice_Ownership
:
Lattice
[
Ownership
]
In this article
Attributes
Members list
Type members
Inherited and Abstract types
Value members
Concrete methods
Givens
Givens