public void serialize(string folderName, int blockCount)
{
string folder = folderName + "block" + blockCount.ToString() + "/";
Directory.CreateDirectory(folder);
Serialization.serialize(this, folder, Serialization.blockFile);
Serialization.serialize(prefilteredGuesses, folder, Serialization.originalGuessesFile);
Serialization.serialize(guesses, folder, Serialization.filteredGuessesFile);
Serialization.serialize(adjustedGuesses, folder, Serialization.adjustedGuessesFile);
lists.serialize(folder);
Serialization.serialize(stats, folder, Serialization.statsFileName);
Serialization.serialize(statsAdjusted, folder, Serialization.statsAdjustedFileName);
Serialization.serialize(penalties, folder, "penalties.xml");
}
void serialize_run_lists(string resultFolder)
{
lists.serialize(resultFolder);
}
