CPSolver.Propagator.Thread (Fixpoint v0.3.3)
Summary
Functions
Create a propagator thread; 'propagator' is a tuple {propagator_mod, args} where propagator_mod is an implementation of CPSolver.Propagator
Functions
Link to this function
create_thread(space, propagator, opts \\ [id: make_ref()])
Create a propagator thread; 'propagator' is a tuple {propagator_mod, args} where propagator_mod is an implementation of CPSolver.Propagator
Propagator thread is a process that handles life cycle of a propagator. TODO: details to follow.
Link to this function
dispose(thread)
Link to this function