rescala/rescala.extra.lattices.dotstores/Context

Context

case
class Context(internal: Map[Id, Tree])
Companion
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def add(replicaId: Id, time: Int): Context
def diff(extern: Context): Context
def intersect(other: Context): Context
def nextTime(replicaId: Id): Int

Inherited methods

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