kofre
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
kofre/kofre.time/Dots

Dots

kofre.time.Dots
See theDots companion object
case class Dots(internal: Map[Id, ArrayRanges])

Essentially a more efficient version of a Set[Dot] . It typically tracks all dots known within some scope.

This datastructure is used both for implementation of RDTs, as well as for ensuring causality during replication.

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def <=(other: Dots): Boolean
def add(dot: Dot): Dots
def add(replicaId: Id, time: Time): Dots
def clockOf(replicaId: Id): Option[Dot]
def contains(d: Dot): Boolean
def diff(extern: Dots): Dots
def forall(cond: Dot => Boolean): Boolean
def intersect(other: Dots): Dots
def isEmpty: Boolean
def iterator: Iterator[Dot]
def max(replicaID: String): Option[Dot]
def nextDot(replicaId: Id): Dot
def nextTime(replicaId: Id): Time
def rangeAt(replicaId: Id): ArrayRanges
def subtract(other: Dots): Dots
def toSet: Set[Dot]
def union(other: Dots): Dots
def wrap[A](a: A): Dotted[A]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL