public static void ExportAllAutomatBitmaps(IAutomat[] As) {
{
var path = $@"{System.Environment.GetEnvironmentVariable("TEMP")}\automat";
System.IO.Directory.CreateDirectory(path);
foreach (var a in As) {
var bmp = Visualization.DrawAutomat(a);
bmp.Save($@"{path}\{a.Name}.png");
}
}
return;
}
public static void SaveAutomatImageToTemp(this IAutomat automat)
=> Visualization.DrawAutomat(automat).Save(System.Environment.ExpandEnvironmentVariables($@"%temp%\automat\{automat.Name}.png"));