rdts
API
Generated with
rdts/rdts/rdts.protocols/rdts.protocols.paper/Paxos

Paxos

rdts.protocols.paper.Paxos
See thePaxos companion object
case class Paxos[A](rounds: Map[BallotNum, PaxosRound[A]])

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 currentRound: Option[PaxosRound[A]]
def isCurrentLeader(using Participants, LocalUid): Boolean
def lastValueVote: Option[(BallotNum, PaxosRound[A])]
def myValue(using LocalUid): Option[A]
def newestReceivedVal(using LocalUid): Option[A]
def phase1a(using LocalUid, Participants)(value: A): Paxos[A]
def phase2a(myValue: A)(using LocalUid, Participants): Paxos[A]
def voteLeader(leader: Uid)(using LocalUid, Participants): PaxosRound[A]
def voteValue(value: A)(using LocalUid, Participants): PaxosRound[A]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with