CPSolver.Shared (Fixpoint v0.7.2)
Summary
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(solution, solver)
Link to this function
checkin_space_thread(shared)
Link to this function
checkout_space_thread(shared)
Link to this function
cleanup(solver)
Link to this function
complete?(solver)
Link to this function
elapsed_time(solver)
Link to this function
get_space_thread_counter(shared)
Link to this function
init_times()
Link to this function
objective_value(solver)
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