process_wisdom_file

bool kernel_launcher::process_wisdom_file(const std::string &wisdom_dir, const std::string &tuning_key, const ConfigSpace &space, std::function<void(const WisdomRecord&)> callback)

Processes a wisdom file and calls the provided callback for each record of the file.

Parameters:

  • wisdom_dir – The directory where files are located.

  • tuning_key – The tuning key of the wisdom file.

  • space – Configuration space that corresponds to the parameters in the wisdom file.

  • callback – User-provided function that is called for each record.

Returns:

true if the file was processed successfully, false if an error ocurred (for example, IO error or invalid file format).