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>;
}

Detailed Description

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

Template Parameters

Provider

Type exposing the keying logic.

Definition at line 627 of file state_search_common.H.