Propagation

case
class Propagation(active: Set[ReSource], processed: Set[ReSource], knownReactives: Set[ReSource], creationTicket: SimpleCreation)
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def commit(): Unit
def isOutdated(r: ReSource): Boolean
def isReady(r: ReSource): Boolean

Inherited methods

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

Concrete fields

lazy
val outdated: Set[ReSource]

Compute outdated reactives. Logic is identical to the paper.

Compute outdated reactives. Logic is identical to the paper.

lazy
val ready: Set[ReSource]

Compute the set of all ready reactives. Logic is identical to the paper.

Compute the set of all ready reactives. Logic is identical to the paper.

lazy

helper for better inspection

helper for better inspection