Issue 475: M&S refactoring: remove shrink_atomic feature - Fast Downward issue tracker

Title	M&S refactoring: remove shrink_atomic feature
Priority	wish	Status	resolved
Superseder		Nosy List	malte, silvan
Assigned To	silvan	Keywords
Optional summary

Created on 2014-09-22.15:19:54 by silvan, last changed by silvan.

Messages
msg3541 (view)	Author: silvan	Date: 2014-09-24.22:40:34
Merged.
msg3538 (view)	Author: malte	Date: 2014-09-24.22:27:56
Sounds good to me, feel free to merge!
msg3537 (view)	Author: silvan	Date: 2014-09-24.22:25:48
I think it's good to get rid of that shrink_atomic thing, and the results are not getting worse enough to keep it.
msg3532 (view)	Author: malte	Date: 2014-09-24.18:03:58
Personally, I don't think the difference is large enough that I think we have to keep the special bisimulation rule, considering that I recall it as being quite ad hoc and I don't think it's described in the papers. What do you think about the results?
msg3526 (view)	Author: silvan	Date: 2014-09-24.12:41:07
Results reported in msg3524 of the meta issue432.
msg3500 (view)	Author: silvan	Date: 2014-09-22.21:43:20
This is part of the meta issue432.
msg3496 (view)	Author: silvan	Date: 2014-09-22.15:19:54
We want to test whether the block in which all atomic abstractions are shrunk by applying a perfect bisimulation can be removed without performance degradation.

History
Date	User	Action	Args
2014-09-24 22:40:34	silvan	set	status: chatting -> resolved messages: + msg3541
2014-09-24 22:27:56	malte	set	messages: + msg3538
2014-09-24 22:25:48	silvan	set	messages: + msg3537
2014-09-24 18:03:58	malte	set	messages: + msg3532
2014-09-24 12:41:07	silvan	set	messages: + msg3526
2014-09-22 21:43:20	silvan	set	messages: + msg3500
2014-09-22 15:19:54	silvan	create