RandomDistribution< D > Class Template Reference

a random worker for each generated state More...

#include <PBeFS/astar/Distribution.h>

Public Member Functions
	RandomDistribution (const D &, std::uint64_t seed=1)
unsigned	owner (const state_t< D > &, unsigned p) const

Static Public Member Functions
static std::string	name (void)

Static Public Attributes
static constexpr bool	per_worker = true
	true: each worker needs its own copy

Detailed Description

template<Domain D>
class PBeFS_di_unipi_it::RandomDistribution< D >

a random worker for each generated state

The randomized strategy of Kumar, Ramesh and Rao (1988) and of Karp and Zhang (1993): a state is detected as a duplicate only if its copies happen to reach the same worker. owner() is const but changes the state of the generator: each worker must have its own copy.

Constructor & Destructor Documentation

RandomDistribution()

template<Domain D>

RandomDistribution ( const D & , std::uint64_t seed = 1 )

inlineexplicit

Member Function Documentation

name()

template<Domain D>

std::string name ( void )

inlinestaticnodiscard

owner()

template<Domain D>

unsigned owner ( const state_t< D > & , unsigned p ) const

inlinenodiscard

Member Data Documentation

per_worker

template<Domain D>

bool per_worker = true

staticconstexpr

true: each worker needs its own copy

---

The documentation for this class was generated from the following file:

• PBeFS/astar/Distribution.h