PBeFS_di_unipi_it::FeatureDomain Concept Reference

a Domain whose states are described by a set of features More...

#include <PBeFS/astar/Domain.h>

Concept definition

template<class D>
concept PBeFS_di_unipi_it::FeatureDomain =  Domain< D > &&
 requires( const D & d , const typename D::state_type & s ) {
  { d.num_features() } -> std::convertible_to< std::size_t >;
  d.for_each_feature( s , detail::index_sink{} );
  }

Detailed Description

a Domain whose states are described by a set of features

A state is a set of propositions x_0 , ... , x_n taken from a universe of num_features() features, and for_each_feature( s , f ) calls f( i ) for every feature i that holds in s. This is what Zobrist hashing needs [see Kishimoto, Fukunaga and Botea, AIJ 2013].