/// <summary>
/// Refresh the view with the model's current state.
/// </summary>
private void RefreshView()
{
view.SetGraph(model.Nodes, model.Arcs);
propertiesPresenter.RefreshView(model);
}
/// <summary>
/// Refresh the view with the model's current state.
/// </summary>
private void RefreshView()
{
view.SetGraph(model.Nodes, model.Arcs);
view.InitialState = this.model.InitialState;
}