This is the complete list of members for Aleph::ExplorationPolicy, including all inherited members.

move_ordering	Aleph::ExplorationPolicy
stop_at_first_solution	Aleph::ExplorationPolicy
Strategy enum name	Aleph::ExplorationPolicy
strategy	Aleph::ExplorationPolicy
use_history_heuristic	Aleph::ExplorationPolicy
use_killer_moves	Aleph::ExplorationPolicy