C# (CSharp) AxiomProfiler ParameterConfiguration.loadParameterConfigurationFromSettings示例

示例#1

        public ParameterConfiguration GetParameterConfiguration()
        {
            ParameterConfiguration config = ParameterConfiguration.loadParameterConfigurationFromSettings();

            config.z3LogFile       = logFilePath.Text;
            config.checkToConsider = checkFilteringEnabled.Checked ? (int)checkFilteringNumber.Value : 0;
            return(config);
        }

示例#2

        public void reloadParameterConfiguration()
        {
            ParameterConfiguration config = ParameterConfiguration.loadParameterConfigurationFromSettings();

            setParameterConfiguration(config);
        }