PBeFS_di_unipi_it::AbstractFeatureDomain Concept Reference

a FeatureDomain that also provides a feature projection More...

#include <PBeFS/astar/Domain.h>

Concept definition

template<class D>
concept PBeFS_di_unipi_it::AbstractFeatureDomain =  FeatureDomain< D > &&
 requires( const D & d , std::size_t i ) {
  { d.num_abstract_features() } -> std::convertible_to< std::size_t >;
  { d.abstract_feature( i ) } -> std::convertible_to< std::size_t >;
  }

Detailed Description

a FeatureDomain that also provides a feature projection

abstract_feature( i ) maps the feature i to an abstract feature in [ 0 , num_abstract_features() ): this is the projection A of Abstract Zobrist hashing [see Jinnai and Fukunaga, JAIR 2017].