Searched defs:processed (Results 1 – 2 of 2) sorted by relevance
121 std::set<int> processed; in post_process() local
323 std::string processed = config_dir_ + "/" PROCESSED_FILENAME; in write_processed_file() local333 std::string processed = config_dir_ + "/" PROCESSED_FILENAME; in remove_processed_file() local