PBeFS_di_unipi_it::AbstractStateDomain Concept Reference

a Domain with a state abstraction More...

#include <PBeFS/astar/Domain.h>

Concept definition

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

Detailed Description

a Domain with a state abstraction

abstract_state( s ) returns the image of s in an abstract space, coded as an integer: it is the projection by which AHDA* keeps the successors of a state on the same processor [see Burns et al., JAIR 2010].