rdts
API
Generated with
rdts/rdts/rdts.datatypes/rdts.datatypes.alternatives/rdts.datatypes.alternatives.rga/LatticeSequence

LatticeSequence

rdts.datatypes.alternatives.rga.LatticeSequence
See theLatticeSequence companion object
final case class LatticeSequence[A, VertexSet](vertices: VertexSet, edges: Map[Vertex, Vertex], values: Map[Vertex, A])(using vertexSetParam: SetLike[Vertex, VertexSet])

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def addRight(position: Vertex, a: A): LatticeSequence[A, VertexSet]
def addRight(left: Vertex, insertee: Vertex, value: A): LatticeSequence[A, VertexSet]

This method allows insertions of any type into the RGA. This is used to move the start and end nodes

This method allows insertions of any type into the RGA. This is used to move the start and end nodes

Value parameters

insertee

the vertex to be inserted right to position

left

the vertex specifying the position

Attributes

Returns

A new RAG containing the inserted element

def append(value: A): LatticeSequence[A, VertexSet]
def before(u: Vertex, v: Vertex): Boolean
def contains(v: Vertex): Boolean
def iterator: Iterator[A]
def prepend(value: A): LatticeSequence[A, VertexSet]
def toList: List[A]
def vertexIterator: Iterator[Vertex]
def vertexSet: SetLike[Vertex, VertexSet]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with