to be implemented by the propagation algorithm, called when a new reactive has been instantiated and needs to be connected to the graph and potentially reevaluated.
to be implemented by the propagation algorithm, called when a new reactive has been instantiated and needs to be connected to the graph and potentially reevaluated.
the newly instantiated reactive
a set of incoming dependencies
true if the reactive must be reevaluated at creation even if none of its dependencies change in the creating turn.
Creates the internal state of Deriveds
Creates the internal state of Deriveds
Creates the internal state of ReSources
Creates the internal state of ReSources
hook for schedulers to globally collect all created resources, usually does nothing
hook for schedulers to globally collect all created resources, usually does nothing
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.