Various relaxation heuristics (additive, max, ff) have relaxation_heuristic.h as
a common dependency. For the plug-in mechanism, this means that we need
relaxation_heuristic.h iff we use any of these three heuristics. For now, this
issue is solved by simply having relaxation_heuristic.h *always* available
(i.e., it is considered part of the planner core), but we might want to switch
to a better solution later.
We might want to wait with such better solutions until we switch to a better
build system (like cmake) which might offer good solutions for this issue out of
the box.
|