updateSchedulingAfterFiring

abstract fun updateSchedulingAfterFiring(currentTime: Time)

Advances distribution-backed scheduling after successful execution at currentTime.

Normal scheduled execution invokes this through Reaction.execute. A single-use reaction removes itself during execution, so their execution never reaches this operation.