Issue 1026: Replace RandomNumberGenerator::operator(int) with RandomNumberGenerator::random(int) - Fast Downward issue tracker

Title	Replace RandomNumberGenerator::operator(int) with RandomNumberGenerator::random(int)
Priority	wish	Status	resolved
Superseder		Nosy List	jendrik, malte, thomas
Assigned To		Keywords
Optional summary

Created on 2021-06-29.08:58:57 by thomas, last changed by thomas.

Messages
msg10339 (view)	Author: thomas	Date: 2021-06-29.10:42:09
Issue is resolved and merged.
msg10338 (view)	Author: thomas	Date: 2021-06-29.09:26:41
I implemented this change, the pull request can be found here: https://github.com/aibasel/downward/pull/55
msg10337 (view)	Author: thomas	Date: 2021-06-29.08:58:57
For consistency with RandomNumberGenerator::shuffle(std::vector<T> &), we'd like to use a function to generate random numbers rather than operator(int).

History
Date	User	Action	Args
2021-06-29 10:42:09	thomas	set	status: chatting -> resolved messages: + msg10339
2021-06-29 09:26:42	thomas	set	messages: + msg10338
2021-06-29 08:58:57	thomas	create