CPSolver.Space (Fixpoint v0.8.37)
Computation space. The concept is taken from Chapter 12, "Concepts, Techniques, and Models of Computer Programming" by Peter Van Roy and Seif Haridi.
Summary
Functions
Link to this function
checkpoint(propagators, constraint_graph)
Link to this function
create(data)
Link to this function
create(variables, propagators, space_opts \\ default_space_opts())
Link to this function
default_space_opts()
Link to this function
distribute(data)
Link to this function
remove_entailed_propagators(graph, propagators)
Link to this function
run_space(data)
Link to this function
run_space(data, checked_out?)
Link to this function
run_space(worker_node, solver, data, checked_out?)
Link to this function