HasGenHalf Concept Reference

Optional selected-half extension of Prgable for positive even mul. More...

Concept definition

template<typename Prg, int mul>
concept HasGenHalf =  mul > 0 && mul % 2 == 0 && Prgable<Prg

Detailed Description

Optional selected-half extension of Prgable for positive even mul.

GenHalf(seed, false) returns the first mul / 2 outputs of Gen(seed). GenHalf(seed, true) returns the last mul / 2 outputs in the same order. Both halves must be bit-exact with Gen() under the same PRG configuration. GenHalf() has the same execution-space, lifetime, and concurrency requirements as Gen(). Custom PRGs opt in by providing the member, without registration.

Template Parameters

Prg	User-provided or library-provided PRG type.
mul	Positive even seed expansion factor, as in Prgable.