예제 #1
0
        // Override static method from base class
        public new static List <EngineParameter> GetAllowedParameters()
        {
            List <EngineParameter> allowedParams = SMTEngine.GetAllowedParameters();

            allowedParams.Add(GetUnrollParameter());
            return(allowedParams);
        }
예제 #2
0
        // Override static method from base class
        public new static List <EngineParameter> GetAllowedParameters()
        {
            List <EngineParameter> allowedParams = SMTEngine.GetAllowedParameters();

            allowedParams.Add(GetDelayParameter());
            allowedParams.Add(GetSlidingSecondsParameter());
            allowedParams.Add(GetSlidingLimitParameter());
            return(allowedParams);
        }