CPSolver.Space (Fixpoint v0.13.2)
Computation space. The concept is taken from Chapter 12, "Concepts, Techniques, and Models of Computer Programming" by Peter Van Roy and Seif Haridi.
Link to this section Summary
Link to this section 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
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