rescala/rescala.extra.lattices.sequences/DeltaSequence

DeltaSequence

case
class DeltaSequence[A](vertices: AddWinsSetO[Vertex], edges: DeltaSequenceOrder, values: Map[Vertex, A])
Companion
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def addRight(replica: Id, left: Vertex, insertee: Vertex, value: A): DeltaSequence[A]
def addRightDelta(replica: Id, left: Vertex, insertee: Vertex, value: A): DeltaSequence[A]
def filterDelta(keep: A => Boolean): DeltaSequence[A]
def iterator: Iterator[A]
def prepend(replica: Id, value: A): DeltaSequence[A]
def prependDelta(replica: Id, value: A): DeltaSequence[A]
def successor(v: Vertex): Option[Vertex]
def toList: List[A]
def vertexIterator: Iterator[Vertex]

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product