CPSolver.Space.Propagation (Fixpoint v0.7.2)
Summary
Functions
A single pass of propagation. Produces the list (up to implementation) of propagators scheduled for the next pass. Side effect: modifies the constraint graph. The graph will be modified on every individual Propagator.filter/1, if the latter results in any domain changes.
Functions
Link to this function
propagate(propagators, graph, store)
A single pass of propagation. Produces the list (up to implementation) of propagators scheduled for the next pass. Side effect: modifies the constraint graph. The graph will be modified on every individual Propagator.filter/1, if the latter results in any domain changes.
Link to this function
run(propagators, store \\ nil)
Link to this function