CPSolver.Shared (Fixpoint v0.10.2)

Summary

Functions

active_nodes(solver)
add_active_spaces(solver, spaces)
add_active_spaces_impl(solver_state, spaces)
add_failure(solver, failure)
add_failure_impl(solver, failure)
add_handler(solver, handler_id, handler_fun)
add_handler_impl(solver, atom, handler)
add_solution(solver, solution)
add_solution_impl(solver, solution)
checkin_space_thread(solver)
checkin_space_thread_impl(solver, node \\ Node.self())
checkout_space_thread(solver, node \\ Node.self())
checkout_space_thread_impl(solver, node)
cleanup(solver)
cleanup_impl(solver)
complete?(solver)
complete_impl(solver)
create_shared_ets_table(solver)
elapsed_time(solver)
finalize_space(solver, space_data, space_pid, reason)
finalize_space_impl(solver, space_data, space_pid, reason)
get_auxillary(shared, key)
get_failure_count(solver)
get_space_thread_counter(shared, node \\ Node.self())
get_times(solver)
get_times_impl(solver)
increment_node_counts(solver)
increment_node_counts_impl(solver)
init_shared_data(opts)
init_times()
objective_value(solver)
objective_value_impl(solver)
on_new_node(solver, active_node_count, total_node_count)
on_primary_node?(solver)
put_auxillary(shared, key, value)
set_complete(solver)
set_end_time(solver)
set_end_time_impl(solver)
solutions(solver)
statistics(solver)
statistics_impl(solver)
stop_spaces(solver)

Functions

active_nodes(solver)

add_active_spaces(solver, spaces)

add_active_spaces_impl(solver_state, spaces)

add_failure(solver, failure)

add_failure_impl(solver, failure)

add_handler(solver, handler_id, handler_fun)

add_handler_impl(solver, atom, handler)

add_solution(solver, solution)

add_solution_impl(solver, solution)

checkin_space_thread(solver)

checkin_space_thread_impl(solver, node \\ Node.self())

checkout_space_thread(solver, node \\ Node.self())

checkout_space_thread_impl(solver, node)

cleanup(solver)

cleanup_impl(solver)

complete?(solver)

complete_impl(solver)

create_shared_ets_table(solver)

elapsed_time(solver)

finalize_space(solver, space_data, space_pid, reason)

finalize_space_impl(solver, space_data, space_pid, reason)

get_auxillary(shared, key)

get_failure_count(solver)

get_space_thread_counter(shared, node \\ Node.self())

get_times(solver)

get_times_impl(solver)

increment_node_counts(solver)

increment_node_counts_impl(solver)

init_shared_data(opts)

init_times()

objective_value(solver)

objective_value_impl(solver)

on_new_node(solver, active_node_count, total_node_count)

on_primary_node?(solver)

put_auxillary(shared, key, value)

set_complete(solver)

set_end_time(solver)

set_end_time_impl(solver)

solutions(solver)

statistics(solver)

statistics_impl(solver)

stop_spaces(solver)