Aleph::HeuristicEvaluator Concept Reference

Concept for domains that provide an admissible heuristic. More...

#include <state_search_common.H>

Concept definition

template<typename Domain>
concept Aleph::HeuristicEvaluator =  requires(Domain &d, const typename Domain::State &state) {
  typename Domain::Distance;
  { d.heuristic(state) } -> std::convertible_to<typename Domain::Distance>;
}

Detailed Description

Concept for domains that provide an admissible heuristic.

Required by IDA* and any informed search engine. The domain must expose a Distance type and a heuristic(state) method that returns an optimistic estimate of the cost to reach a goal from state.

Definition at line 636 of file state_search_common.H.