rdts
API
Generated with
rdts/rdts/rdts.datatypes/rdts.datatypes.experiments/rdts.datatypes.experiments.protocols/rdts.datatypes.experiments.protocols.raft/RaftTokens

RaftTokens

rdts.datatypes.experiments.protocols.raft.RaftTokens
See theRaftTokens companion object
case class RaftTokens(replicaID: Uid, tokenAgreement: RaftState[RaftToken], want: DeltaBuffer[Dotted[ReplicatedSet[RaftToken]]], tokenFreed: DeltaBuffer[Dotted[ReplicatedSet[RaftToken]]])

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def acquire(value: String): RaftTokens
def free(value: String): RaftTokens
def isOwned(value: String): Boolean
def lead(): RaftTokens
def owned(value: String): List[RaftToken]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Givens

Givens

Generated with