Aleph::ActionCostProvider Concept Reference

Concept for domains that provide the cost of applying a move. More...

#include <state_search_common.H>

Concept definition

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

Detailed Description

Concept for domains that provide the cost of applying a move.

Required by IDA* and any cost-sensitive search engine. The cost must be non-negative for admissibility guarantees to hold.

Definition at line 647 of file state_search_common.H.