rdts
API
Generated with
rdts/rdts/rdts.datatypes/rdts.datatypes.experiments/rdts.datatypes.experiments.protocols/rdts.datatypes.experiments.protocols.messagebased/MultiPaxos

MultiPaxos

rdts.datatypes.experiments.protocols.messagebased.MultiPaxos
class MultiPaxos[A](using x$1: LocalUid) extends Messaging

Attributes

Graph
Supertypes
trait Messaging
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def phase1a: Unit
def phase1b(ballotNum: BallotNum): Unit
def phase2a: Nothing
def phase2b: Nothing
def receive: Message => Unit

Inherited methods

def broadcast(message: Message): Unit

Attributes

Inherited from:
Messaging

Concrete fields

var promises: Set[Promise]
var receivedVal: Option[A]
Generated with