MutableDeltaStore

lofi_acl.collections.MutableDeltaStore
class MutableDeltaStore[RDT]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def mergeIntoPrefix(dots: Dots, delta: RDT)(using Lattice[RDT]): Unit
def readAvailableDeltas(dots: Dots): List[(Dots, RDT)]
def storedDots: Dots
def writeIfNotPresent(dots: Dots, delta: RDT): Unit
def writePrefix(dots: Dots, delta: RDT): Unit
def writePrefixIfContainsPreviousPrefix(dots: Dots, delta: RDT): Boolean