rdts
API
Generated with
rdts/rdts/rdts.protocols/rdts.protocols.old/Voting

Voting

rdts.protocols.old.Voting
See theVoting companion object
case class Voting(rounds: Epoch[ReplicatedSet[Vote]], numParticipants: LastWriterWins[Int])

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 checkIfMajorityPossible(count: Int): Boolean
def isOwner(using LocalUid): Boolean
def leadingCount(using id: LocalUid): (Uid, Int)
def release(using LocalUid): Voting
def request(using LocalUid): Voting
def threshold: Int
def upkeep(using LocalUid): Voting
def voteFor(uid: Uid)(using LocalUid): Voting

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with