PBeFS_di_unipi_it::PairwiseDomain Concept Reference

a Domain with a heuristic between any two states More...

#include <PBeFS/astar/Domain.h>

Concept definition

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

Detailed Description

a Domain with a heuristic between any two states

pairwise_heuristic( s , t ) estimates the cost of a path from s to t; it has to be forward-backward consistent, as required by PA*SE [see Phillips, Likhachev and Koenig, ICAPS 2014].