rescala/rescala.extra.lattices.dotstores/DotStoreLattice

DotStoreLattice

trait DotStoreLattice[Store]

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

Companion
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def add(a: Store, d: Dot): Store
Implicitly added by DotMapInstance
def add(a: Store, d: Dot): Store
def compress(a: Store): Store
Implicitly added by DotMapInstance
def compress(a: Store): Store
def dots(a: Store): Set[Dot]
Implicitly added by DotMapInstance
def dots(a: Store): Set[Dot]
def empty: Store
Implicitly added by DotMapInstance
def empty: Store
def merge(left: Causal[Store], right: Causal[Store]): Causal[Store]
Implicitly added by DotMapInstance

The new element contains all the dots that are either contained in both dotstores or contained in one of the dotstores but not in the causal context (history) of the other one.

The new element contains all the dots that are either contained in both dotstores or contained in one of the dotstores but not in the causal context (history) of the other one.

def merge(left: Causal[Store], right: Causal[Store]): Causal[Store]

The new element contains all the dots that are either contained in both dotstores or contained in one of the dotstores but not in the causal context (history) of the other one.

The new element contains all the dots that are either contained in both dotstores or contained in one of the dotstores but not in the causal context (history) of the other one.