CPSolver.Shared (Fixpoint v0.8.50)
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_times()
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