#include <HeuristicSearch.hpp>
template<typename State>
std::is_class_v<State>
and
std::is_class_v<typename State::base_type>
and
requires (const State &S, const State *parent) {
{ S.g() } -> std::convertible_to<double>;
{ S.decrease_g(parent, double(0)) } -> std::same_as<void>;
}
Definition at line 38 of file HeuristicSearch.hpp.