- b -

• bj_error_str() : ben_jose.cpp , ben_jose.h
• bj_get_assig() : ben_jose.h , ben_jose.cpp
• bj_get_database_path() : ben_jose.cpp , ben_jose.h
• bj_get_error_assert_str() : ben_jose.h , ben_jose.cpp
• bj_get_error_stack_str() : ben_jose.cpp , ben_jose.h
• bj_get_last_proof_path() : ben_jose.cpp , ben_jose.h
• bj_get_output() : ben_jose.cpp , ben_jose.h
• bj_get_param_char() : ben_jose.h , ben_jose.cpp
• bj_get_result() : ben_jose.cpp , ben_jose.h
• bj_get_result_string() : ben_jose.cpp , ben_jose.h
• bj_get_result_titles_string() : ben_jose.cpp , ben_jose.h
• bj_get_solve_file_path() : ben_jose.cpp , ben_jose.h
• bj_init_output() : ben_jose.cpp , ben_jose.h
• bj_parse_result_string() : ben_jose.cpp , ben_jose.h
• bj_print_paths() : ben_jose.cpp , ben_jose.h
• bj_restart() : ben_jose.h , ben_jose.cpp
• bj_set_param_char() : ben_jose.cpp , ben_jose.h
• bj_solve_data() : ben_jose.h , ben_jose.cpp
• bj_solve_file() : ben_jose.cpp , ben_jose.h
• bj_solve_literals() : ben_jose.cpp , ben_jose.h
• bj_solver_create() : ben_jose.h , ben_jose.cpp
• bj_solver_release() : ben_jose.h , ben_jose.cpp

- s -

• sha2() : sha2.h
• sha2_finish() : sha2.h
• sha2_hmac() : sha2.h
• sha2_hmac_finish() : sha2.h
• sha2_hmac_starts() : sha2.h
• sha2_hmac_update() : sha2.h
• sha2_self_test() : sha2.h
• sha2_starts() : sha2.h
• sha2_update() : sha2.h

- w -

• write_all_nmps() : brain.h