How to add new files to the planner

New source code files can be added to the planner by adding them to src/search/DownwardFiles.cmake.

We group our files into (CMake) "plugins" (not to be confused with the Plugin class in the search code). A CMake plugin is a set of source code files that belong together and that can be enabled/disabled together in a manual build. Plugins can have dependencies on other plugins. This dependency graph is used to enable all plugins needed for a manual build. For example, if a manual build only enables the plugin POTENTIALS, the plugin LP_SOLVER will be compiled as well because the code for potential heuristics requires an LP solver.

For details of how to define CMake plugins, see the documentation in src/search/DownwardFiles.cmake.

FastDownward: ForDevelopers/AddingSourceFiles (last edited 2016-02-22 08:19:06 by FlorianPommerening)