RandomDistribution

Declared in astar/Distribution.h; the same class on the site of Doxygen.

template<Domain D> class RandomDistribution

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.

Public Functions

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

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

Public Static Functions

static inline std::string name(void)

Public Static Attributes

static constexpr bool per_worker = true: true: each worker needs its own copy