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

RaftTokens

rdts.protocols.raft.RaftTokens
See theRaftTokens companion object
case class RaftTokens(replicaID: Uid, tokenAgreement: RaftState[RaftToken], want: DeltaBuffer[ReplicatedSet[RaftToken]], tokenFreed: DeltaBuffer[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