CPSolver.Space (Fixpoint v0.10.2)

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

checkpoint(propagators, constraint_graph)

create(data)

create(variables, propagators, space_opts \\ default_space_opts())

default_space_opts()

distribute(data)

get_shared(data)

put_shared(data, key, value)

run_space(data)

run_space(data, checked_out?)

run_space(worker_node, solver, data, checked_out?)

start_propagation(space_pid)

Functions

checkpoint(propagators, constraint_graph)

create(data)

create(variables, propagators, space_opts \\ default_space_opts())

default_space_opts()

distribute(data)

get_shared(data)

put_shared(data, key, value)

run_space(data)

run_space(data, checked_out?)

run_space(worker_node, solver, data, checked_out?)

start_propagation(space_pid)