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

Messaging

rdts.datatypes.experiments.protocols.messagebased.Messaging
trait Messaging

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class MultiPaxos[A]

Members list

Value members

Abstract methods

def receive: Message => Unit

Concrete methods

def broadcast(message: Message): Unit
Generated with