Added SatFuncBase.hpp to CMakeLists_files.cmake