CPSolver.Space (Fixpoint v0.2.3)

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)

@spec failed(any(), any(), any()) :: :keep_state_and_data
Link to this function

get_state_and_data(space)

Link to this function

propagating(arg1, arg2, data)

Link to this function

solved(kind, message, data)

Link to this function

stable(kind, message, data)

@spec stable(any(), any(), any()) :: :keep_state_and_data
Link to this function

start_propagation(arg1, arg2, data)

Link to this function

update_entailed(data, propagator_thread)