rdts
API
Generated with
rdts/rdts/rdts.datatypes/rdts.datatypes.experiments/rdts.datatypes.experiments.protocols/Paxos

Paxos

rdts.datatypes.experiments.protocols.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 currentBallot: Option[BallotNum]
def currentRound: Option[(BallotNum, PaxosRound[A])]
def decidedVal(using Participants): Option[A]
def lastValueVote: Option[(BallotNum, PaxosRound[A])]
def leaderCandidate: Option[Uid]
def myHighestBallot(using LocalUid): 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(value: 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