C# (CSharp) Z3AxiomProfiler LoadZ3Form示例

示例#1

文件： Z3AxiomProfiler.cs 项目： Suchiman/vcc

        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);
        }

示例#2

文件： Z3AxiomProfiler.cs 项目： edgar-pek/VCDryad

        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);
        }