CPSolver.Propagator behaviour (Fixpoint v0.1.1)

Summary

Callbacks

Link to this callback

filter(variables)

@callback filter(variables :: list()) :: map() | :stable | :failure
Link to this callback

variables(args)

@callback variables(args :: list()) :: list()

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)