Aleph::DomainPruner Concept Reference

Optional concept for domain-side pruning hooks. More...

#include <state_search_common.H>

Concept definition

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

Detailed Description

Optional concept for domain-side pruning hooks.

This is intentionally small: a pure DFS engine can already cut dead states, while later phases can layer stronger incumbent-aware pruning on top of the same traversal kernel.

Definition at line 608 of file state_search_common.H.