CPSolver.Shared (Fixpoint v0.5.10)

Summary

Functions

active_nodes(solver)
add_active_spaces(solver, spaces)
add_failure(solver)
add_solution(solver, solution)
cleanup(solver)
complete?(solver)
init_shared_data(solver_pid \\ self())
remove_space(solver, space, reason)
set_complete(solver)
solutions(solver)
statistics(solver)
stop_spaces(solver)

Functions

Link to this function

active_nodes(solver)

Link to this function

add_active_spaces(solver, spaces)

Link to this function

add_failure(solver)

Link to this function

add_solution(solver, solution)

Link to this function

cleanup(solver)

Link to this function

complete?(solver)

Link to this function

init_shared_data(solver_pid \\ self())

Link to this function

remove_space(solver, space, reason)

Link to this function

set_complete(solver)

Link to this function

solutions(solver)

Link to this function

statistics(solver)

Link to this function

stop_spaces(solver)