Issue 1099: rename search engine to search algorithm - Fast Downward issue tracker

Title	rename search engine to search algorithm
Priority	wish	Status	resolved
Superseder		Nosy List	jendrik, malte, silvan
Assigned To	silvan	Keywords
Optional summary

Created on 2023-07-28.09:17:00 by silvan, last changed by malte.

Messages
msg11233 (view)	Author: malte	Date: 2023-07-28.11:41:03
Thanks! :-) This has been bothering me for a long time.
msg11232 (view)	Author: silvan	Date: 2023-07-28.11:38:42
Indeed, thanks! Merged.
msg11218 (view)	Author: malte	Date: 2023-07-28.10:32:59
The pull request looks good to me. I assume you want to do the actual file renaming in a different commit.
msg11217 (view)	Author: silvan	Date: 2023-07-28.09:42:44
PR: https://github.com/aibasel/downward/pull/166
msg11215 (view)	Author: silvan	Date: 2023-07-28.09:17:00
During the discussion on renaming cegar to cartesian_abstractions in issue1098, we also decided that we want to "fix" the name of our search algorithm classes.

History
Date	User	Action	Args
2023-07-28 11:41:03	malte	set	messages: + msg11233
2023-07-28 11:38:42	silvan	set	status: reviewing -> resolved messages: + msg11232
2023-07-28 10:32:59	malte	set	messages: + msg11218
2023-07-28 09:42:44	silvan	set	status: unread -> reviewing assignedto: silvan messages: + msg11217
2023-07-28 09:17:00	silvan	create