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

MultiPaxos

rdts.protocols.paper.MultiPaxos
See theMultiPaxos companion object
case class MultiPaxos[A](rounds: Epoch[Paxos[A]], log: Map[Long, 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 leader(using Participants): Option[Uid]
def proposeIfLeader(value: A)(using LocalUid, Participants): MultiPaxos[A]
def read: List[A]
def readDecisionsSince(time: Time): Iterable[A]
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Any

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with