rescala/rescala.extra.lattices.dotstores

rescala.extra.lattices.dotstores

package rescala.extra.lattices.dotstores

Type members

Classlikes

case
class Causal[A](store: A, context: Set[Dot])
case
class Context(internal: Map[Id, Tree])
Companion
object
object Context
Companion
class
case
class Dot(replicaId: Id, counter: Int)
trait DotStoreLattice[Store]

Dot stores provide a generic way to merge datastructures, implemented on top of one of the provided dot stores.

Dot stores provide a generic way to merge datastructures, implemented on top of one of the provided dot stores.

Companion
object
object DotStoreLattice
Companion
class
object IntTree