Issue 821: rename HeuristicCache to EvaluatorCache - Fast Downward issue tracker

Title	rename HeuristicCache to EvaluatorCache
Priority	feature	Status	resolved
Superseder		Nosy List	cedric, malte
Assigned To	malte	Keywords
Optional summary

Created on 2018-09-14.12:34:12 by malte, last changed by malte.

Messages
msg7460 (view)	Author: malte	Date: 2018-09-14.12:46:15
Resolved and pushed.
msg7458 (view)	Author: malte	Date: 2018-09-14.12:34:12
This is another aspect of the Heuristic/Evaluator unification. See issue727.

History
Date	User	Action	Args
2018-09-14 12:46:15	malte	set	status: unread -> resolved messages: + msg7460
2018-09-14 12:36:16	cedric	set	nosy: + cedric
2018-09-14 12:34:12	malte	create