Package

rescala.extra.lattices

sequences

Permalink

package sequences

Visibility
  1. Public
  2. All

Type Members

  1. case class DeltaSequence[A](vertices: AddWinsSetO[Vertex], edges: DeltaSequenceOrder, values: Map[Vertex, A]) extends Product with Serializable

    Permalink
  2. case class DeltaSequenceOrder(inner: Map[Vertex, Vertex]) extends Product with Serializable

    Permalink
  3. case class LatticeSequence[A, VertexSet](vertices: VertexSet, edges: Map[Vertex, Vertex], values: Map[Vertex, A])(implicit vertexSet: SetLike[Vertex, VertexSet]) extends Product with Serializable

    Permalink
  4. case class Vertex(timestamp: Timestamp, id: Id) extends Product with Serializable

    Permalink

Value Members

  1. object DeltaSequence extends Serializable

    Permalink
  2. object LatticeSequence extends Serializable

    Permalink
  3. object RGA

    Permalink
  4. object RGOA

    Permalink
  5. object Vertex extends Serializable

    Permalink

Ungrouped