CPSolver.Propagator.Thread (Fixpoint v0.3.0)

Summary

Functions

Link to this function

create_thread(space, propagator, opts \\ [id: make_ref()])

Link to this function

dispose(thread)

Link to this function

handle_failure(var, data)