public void loadModelFromZ3()
{
LoadZ3Form loadform = new LoadZ3Form(launchedFromAddin, ctrl);
if (parameterConfiguration != null)
{
loadform.setParameterConfiguration(parameterConfiguration);
}
else
{
loadform.reloadParameterConfiguration();
}
DialogResult dialogResult;
dialogResult = loadform.ShowDialog();
if (dialogResult != DialogResult.OK)
{
return;
}
parameterConfiguration = loadform.GetParameterConfiguration();
ParameterConfiguration.saveParameterConfigurationToSettings(parameterConfiguration);
loadModel(parameterConfiguration, Loader.LoaderTask.LoaderTaskZ3);
}
public void loadModelFromZ3()
{
LoadZ3Form loadform = new LoadZ3Form(launchedFromAddin, ctrl);
if (parameterConfiguration != null)
{
loadform.setParameterConfiguration(parameterConfiguration);
}
else
{
loadform.reloadParameterConfiguration();
}
DialogResult dialogResult;
dialogResult = loadform.ShowDialog();
if (dialogResult != DialogResult.OK)
return;
parameterConfiguration = loadform.GetParameterConfiguration();
ParameterConfiguration.saveParameterConfigurationToSettings(parameterConfiguration);
loadModel(parameterConfiguration, Loader.LoaderTask.LoaderTaskZ3);
}