PBeFS_di_unipi_it::PerfectHashDomain Concept Reference

a Domain with a perfect hash of its states More...

#include <PBeFS/astar/Domain.h>

Concept definition

template<class D>
concept PBeFS_di_unipi_it::PerfectHashDomain =  Domain< D > &&
 requires( const D & d , const typename D::state_type & s ) {
  { d.perfect_hash( s ) } -> std::convertible_to< std::uint64_t >;
  }

Detailed Description

a Domain with a perfect hash of its states

perfect_hash( s ) is an injective map of the states to integers, used by the HDA*[P] work distribution of Burns et al. (JAIR 2010).