Issue 956: add assertions to BucketQueue - Fast Downward issue tracker

Title	add assertions to BucketQueue
Priority	wish	Status	resolved
Superseder		Nosy List	jendrik, malte, silvan
Assigned To	jendrik	Keywords
Optional summary

Created on 2020-01-13.12:46:28 by jendrik, last changed by jendrik.

Messages
msg9151 (view)	Author: jendrik	Date: 2020-01-13.20:36:11
Nice! Merged.
msg9150 (view)	Author: malte	Date: 2020-01-13.20:32:14
O.K., my fellow human.
msg9149 (view)	Author: jendrik	Date: 2020-01-13.20:30:42
I added an assertion for HeapQueue. Does the code look oK to you (https://xkcd.com/2250/)?
msg9147 (view)	Author: malte	Date: 2020-01-13.14:20:35
The infinity test would not just make sense for BucketQueue, but if you prefer to merge it in this form, fine with me.
msg9146 (view)	Author: silvan	Date: 2020-01-13.13:15:51
Looks good to me.
msg9145 (view)	Author: jendrik	Date: 2020-01-13.13:13:28
Pull request: https://bitbucket.org/jendrikseipp/downward/pull-requests/147
msg9144 (view)	Author: jendrik	Date: 2020-01-13.12:46:28
I'd like to add two assertions to BucketQueue::push() that should catch programming mistakes easier.

History
Date	User	Action	Args
2020-01-13 20:36:11	jendrik	set	status: reviewing -> resolved messages: + msg9151
2020-01-13 20:32:14	malte	set	messages: + msg9150
2020-01-13 20:30:42	jendrik	set	messages: + msg9149
2020-01-13 14:20:35	malte	set	messages: + msg9147
2020-01-13 13:15:51	silvan	set	nosy: + silvan messages: + msg9146
2020-01-13 13:13:28	jendrik	set	status: unread -> reviewing messages: + msg9145
2020-01-13 12:46:28	jendrik	create