This is the complete list of members for user_choice_manager, including all inherited members.

ask_local_choice()	user_choice_manager
changed_event_	user_choice_manager
current_side_	user_choice_manager	private
finished() const	user_choice_manager	inline
fix_oos()	user_choice_manager
get_user_choice_internal(const std::string &name, const mp_sync::user_choice &uch, const std::set< int > &sides)	user_choice_manager	static
has_local_choice() const	user_choice_manager	inline
local_choice_	user_choice_manager	private
oos_	user_choice_manager	private
process(events::pump_info &)	user_choice_manager	virtual
pull()	user_choice_manager
pump_monitor()	events::pump_monitor	private
required_	user_choice_manager	private
res_	user_choice_manager	private
search_in_replay()	user_choice_manager	private
tagname_	user_choice_manager	private
uch_	user_choice_manager	private
update_local_choice()	user_choice_manager
user_choice_manager(const std::string &name, const mp_sync::user_choice &uch, const std::set< int > &sides)	user_choice_manager	private
wait_message() const	user_choice_manager	inline
wait_message_	user_choice_manager	private
waiting() const	user_choice_manager	inline
~pump_monitor()	events::pump_monitor	privatevirtual
~user_choice_manager()	user_choice_manager	inlineprivate