void SaveLtlDiagram(string diagramFileName)
{
if (_ltlFormula != null)
{
_ltlFormula.SaveAsDgmlGraph(diagramFileName);
}
else
{
Console.WriteLine("Nothing to save: no ltl formula recognized.");
}
}
void SaveModelDiagram(string diagramFileName)
{
if (_model != null)
{
_model.SaveAsDgmlGraph(diagramFileName);
}
else
{
Console.WriteLine("Nothing to save: model automaton is not loaded.");
}
}
