Searched refs:setRngSeed (Results 1 – 3 of 3) sorted by relevance
68 auto const setRngSeed = [&]( std::string const& seed ) { in makeCommandLineParser() local187 | Opt( setRngSeed, "'time'|number" ) in makeCommandLineParser()
4652 inline void setRngSeed( ConfigData& config, std::string const& seed ) { in setRngSeed() function4799 .bind( &setRngSeed, "'time'|number" ); in makeCommandLineParser()
7835 auto const setRngSeed = [&]( std::string const& seed ) { in makeCommandLineParser() local7954 | Opt( setRngSeed, "'time'|number" ) in makeCommandLineParser()