public void WriteXMLFile(string filename, Configuration config) { if (File.Exists(filename)) { File.Delete(filename); } Serialization.SerializeToXMLFile(filename, config); }
public void WriteXMLFile(string filename, Graph graph) { if (File.Exists(filename)) { File.Delete(filename); } Serialization.SerializeToXMLFile(filename, graph); }
public void WriteXMLFile(string filename, Log log) { if (File.Exists(filename)) { File.Delete(filename); } Serialization.SerializeToXMLFile(filename, log); }