CPSolver.Space.Propagation (Fixpoint v0.8.30)
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)
Link to this function
propagate(propagators, graph, store, opts)
Link to this function
propagate(propagators, graph, store, domain_changes, opts)
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