CPSolver.Space (Fixpoint v0.8.28)

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

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

start_propagation(space_pid)