public static void Save(string fileName, Tree.RootNode tree, string target) { var res = new GAResult(); res.Tree = tree; res.TargetFileName = target; var ser = new System.Runtime.Serialization.Formatters.Binary.BinaryFormatter(); using (var file = System.IO.File.OpenWrite(fileName)) { ser.Serialize(file, res); } }
void LoadGaResult(string fileName) { defaultFileName = System.IO.Path.ChangeExtension(fileName, ".wav"); if (GAResult.IsGAResultFile(fileName)) { var res = GAResult.Load(fileName); analyzer.OpenFile(res.TargetFileName); SetInitial(res.Tree); } else { SetInitial(Tree.RootNode.Deserialize(fileName)); } }
public void SaveResult(string fileName) { GAResult.Save(fileName, BestElite.Tree, this.fileName); }