rescala/rescala.extra.lattices.sequences

rescala.extra.lattices.sequences

package rescala.extra.lattices.sequences

Type members

Classlikes

case
class DeltaSequence[A](vertices: AddWinsSetO[Vertex], edges: DeltaSequenceOrder, values: Map[Vertex, A])
Companion
object
object DeltaSequence
Companion
class
case
class DeltaSequenceOrder(inner: Map[Vertex, Vertex])
case
class LatticeSequence[A, VertexSet](vertices: VertexSet, edges: Map[Vertex, Vertex], values: Map[Vertex, A])(implicit vertexSet: SetLike[Vertex, VertexSet])
Companion
object
object LatticeSequence
Companion
class
object RGA
object RGOA
case
class Vertex(timestamp: Timestamp, id: Id)
Companion
object
object Vertex
Companion
class