// Override static method from base class public new static List <EngineParameter> GetAllowedParameters() { List <EngineParameter> allowedParams = SMTEngine.GetAllowedParameters(); allowedParams.Add(GetUnrollParameter()); return(allowedParams); }
// 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); }