CPSolver.Shared (Fixpoint v0.13.2)
Link to this section Summary
Link to this section Functions
Link to this function
active_nodes(solver)
Link to this function
add_active_spaces(solver, spaces)
Link to this function
add_active_spaces_impl(solver_state, spaces)
Link to this function
add_failure(solver, failure)
Link to this function
add_failure_impl(solver, failure)
Link to this function
add_handler(solver, handler_id, handler_fun)
Link to this function
add_handler_impl(solver, atom, handler)
Link to this function
add_solution(solver, solution)
Link to this function
add_solution_impl(solver, solution)
Link to this function
checkin_space_thread(solver)
Link to this function
checkin_space_thread_impl(solver, node \\ Node.self())
Link to this function
checkout_space_thread(solver, node \\ Node.self())
Link to this function
checkout_space_thread_impl(solver, node)
Link to this function
cleanup(solver)
Link to this function
cleanup_impl(solver)
Link to this function
complete?(solver)
Link to this function
complete_impl(solver)
Link to this function
elapsed_time(solver)
Link to this function
finalize_space(solver, space_data, space_pid, reason)
Link to this function
finalize_space_impl(solver, space_data, space_pid, reason)
Link to this function
get_auxillary(shared, key)
Link to this function
get_failure_count(solver)
Link to this function
get_times(solver)
Link to this function
get_times_impl(solver)
Link to this function
increment_node_counts(solver)
Link to this function
increment_node_counts_impl(solver)
Link to this function
init_times()
Link to this function
objective_value(solver)
Link to this function
objective_value_impl(solver)
Link to this function
on_new_node(solver, active_node_count, total_node_count)
Link to this function
on_primary_node?(solver)
Link to this function
put_auxillary(shared, key, value)
Link to this function
set_complete(solver)
Link to this function
set_end_time(solver)
Link to this function
set_end_time_impl(solver)
Link to this function
solutions(solver)
Link to this function
statistics(solver)
Link to this function
statistics_impl(solver)
Link to this function