ConvergentExecution

constructor(draft: Draft<*>, scope: CoroutineScope, initial: L)

Parameters

draft

the dataflow graph whose monotone stages guide convergent execution.

scope

the coroutine scope on which contributions are processed. Required — no default.

initial

the lattice bottom — the result before any contributions arrive.

Type Parameters

L

the lattice type — must be Quilted.