kofre
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
kofre/kofre.decompose.containers/DeltaBufferRDT

DeltaBufferRDT

kofre.decompose.containers.DeltaBufferRDT$
See theDeltaBufferRDT companion class
object DeltaBufferRDT

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def apply[State](replicaID: String)(using bot: Bottom[Dotted[State]]): DeltaBufferRDT[State]

Creates a new PNCounter instance

Creates a new PNCounter instance

Attributes

replicaID

Unique id of the replica that this instance is located on

def apply[State](replicaID: Id, init: State): DeltaBufferRDT[State]
def empty[State](replicaID: Id, init: State): DeltaBufferRDT[State]

Givens

Givens

Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL