• analyse_conflicts() : brain
• candidate_find_analysis() : brain
• deduce() : deducer
• deduce_and_reverse_trail() : brain
• init_output() : instance_info
• map_find() : neuromap
• map_oper() : neuromap
• map_prepare_mem_oper() : neuromap
• map_write() : neuromap
• propagate_signals() : brain
• pulsate() : brain
• solve_instance() : brain
• sort_all_from() : sort_glb
• sort_from() : sortee
• stab_mutual() : sort_glb
• stab_mutual_core() : sort_glb
• stab_mutual_unique() : sort_glb
• step_mutual_stabilize_rec() : sorset
• step_neus() : sort_glb
• step_opps() : sort_glb
• step_quas() : sort_glb
• think() : brain