CPSolver.Shared (Fixpoint v0.8.24)

Summary

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)

Link to this function

add_failure_impl(solver)

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

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

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(map)

Link to this function

init_shared_data(opts)

Link to this function

objective_value(solver)

Link to this function

objective_value_impl(solver)

Link to this function

on_primary_node?(solver)

Link to this function

remove_space(solver, space, reason)

Link to this function

remove_space_impl(solver, space, reason)

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

stop_spaces(solver)