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

Generic concept for domains that can expose a stable state key. More...

#include <state_search_common.H>

Concept definition

template<typename Provider>
concept Aleph::SearchStateKeyProvider = requires(const Provider &provider, const typename Provider::State &state) {
typename Provider::State_Key;
{ provider.state_key(state) } -> std::convertible_to<typename Provider::State_Key>;
}
Aleph::SearchStateKeyProvider
Generic concept for domains that can expose a stable state key.
Definition state_search_common.H:624
Aleph::divide_and_conquer_partition_dp
Divide_Conquer_DP_Result< Cost > divide_and_conquer_partition_dp(const size_t groups, const size_t n, Transition_Cost_Fn transition_cost, const Cost inf=dp_optimization_detail::default_inf< Cost >())
Optimize partition DP using divide-and-conquer optimization.
Definition DP_Optimizations.H:133

Detailed Description

Generic concept for domains that can expose a stable state key.

Template Parameters
ProviderType exposing the keying logic.

Definition at line 624 of file state_search_common.H.