rescala/rescala.extra.research/CalculusLike/SimpleCreation

SimpleCreation

class SimpleCreation() extends Initializer

The main task of the initializer is to handle creation of reactives, especially during an ongoing propagation. The formalization does not support this, to keep the complexity of the proofs in check.

class Object
trait Matchable
class Any

Value members

Concrete methods

override
def accessTicket(): AccessTicket
Definition Classes
def requiresReev(reSource: ReSource): Boolean