Aleph::TerminalPredicate Concept Reference

Optional concept for explicit non-solution terminal states. More...

#include <state_search_common.H>

Concept definition

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

Detailed Description

Optional concept for explicit non-solution terminal states.

Definition at line 597 of file state_search_common.H.