CPSolver.Space (Fixpoint v0.3.4)
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 \\ [], gen_statem_opts \\ [])
Link to this function
distribute(data)
Link to this function
do_distribute(data, variable_clones)
Link to this function
failed(kind, message, data)
Link to this function
get_state_and_data(space)
Link to this function
propagating(arg1, arg2, data)
Link to this function
solution(data)
Link to this function
solved(kind, message, data)
Link to this function
stable(kind, message, data)
Link to this function
start_propagation(arg1, arg2, data)
Link to this function
stop(space)
Link to this function