Aleph-w 3.0
A C++ Library for Data Structures and Algorithms
Loading...
Searching...
No Matches
Aleph::IDAStarDomain Concept Reference

Minimal contract for IDA* domains. More...

#include <State_Search_IDA_Star.H>

Concept definition

template<typename Domain>
concept Aleph::IDAStarDomain = BacktrackingDomain<Domain> and HeuristicEvaluator<Domain> and ActionCostProvider<Domain>
Aleph::ActionCostProvider
Concept for domains that provide the cost of applying a move.
Definition state_search_common.H:648
Aleph::BacktrackingDomain
Minimal contract for DFS/backtracking domains.
Definition state_search_common.H:666
Aleph::HeuristicEvaluator
Concept for domains that provide an admissible heuristic.
Definition state_search_common.H:636
Aleph::IDAStarDomain
Minimal contract for IDA* domains.
Definition State_Search_IDA_Star.H:75
Aleph::and
and
Check uniqueness with explicit hash + equality functors.
Definition ahFunctional.H:2594

Detailed Description

Minimal contract for IDA* domains.

Extends Aleph::BacktrackingDomain with:

  • heuristic(state) — admissible cost estimate to the nearest goal,
  • cost(state, move) — non-negative step cost.

Both must expose a Distance type (numeric, typically int or double). The heuristic must be admissible (never overestimates the true cost) for IDA* to return an optimal solution.

Definition at line 74 of file State_Search_IDA_Star.H.