PBeFS
Parallel Best-First Search
Loading...
Searching...
No Matches
PBeFS_di_unipi_it::DiskDomain Concept Reference

a Domain that DDDAStar can search: integer costs, since a bucket is a pair of values, and states that are trivially copyable, since they are written to the disk as their bytes More...

#include <PBeFS/astar/DDDAStar.h>

Concept definition

template<class D>
concept PBeFS_di_unipi_it::DiskDomain = Domain< D > && std::is_integral_v< cost_t< D > > &&
std::is_trivially_copyable_v< state_t< D > >
a Domain that DDDAStar can search: integer costs, since a bucket is a pair of values,...
Definition DDDAStar.h:135
a search domain
Definition Domain.h:103

Detailed Description

a Domain that DDDAStar can search: integer costs, since a bucket is a pair of values, and states that are trivially copyable, since they are written to the disk as their bytes