As of r4875, the plugin mechanism is now implemented for scalar evaluators
(heuristics). It is already used by the goal count heuristic, and the Makefile
has some notes on how to enable/disable plugins.
Still need to extend this to other heuristics, deal with search algorithms, and
document this in the wiki.
|