public static EngineParameter <int> GetTimeLimitParameter()
{
if (TimeLimitParameter == null)
{
TimeLimitParameter = new EngineParameter <int>("timelimit", int.MaxValue);
}
return(TimeLimitParameter);
}
public static EngineParameter <int> GetLoopHeaderLimitParameter()
{
if (LoopHeaderLimitParameter == null)
{
LoopHeaderLimitParameter = new EngineParameter <int>("headerlimit", 1000);
}
return(LoopHeaderLimitParameter);
}
public static EngineParameter <int> GetLoopEscapingParameter()
{
if (LoopEscapingParameter == null)
{
LoopEscapingParameter = new EngineParameter <int>("loopescaping", 0);
}
return(LoopEscapingParameter);
}
public static EngineParameter <int> GetUnrollParameter()
{
if (UnrollParameter == null)
{
UnrollParameter = new EngineParameter <int>("unroll", 1);
}
return(UnrollParameter);
}
public static EngineParameter <int> GetSlidingLimitParameter()
{
if (SlidingLimitParameter == null)
{
SlidingLimitParameter = new EngineParameter <int>("slidinglimit", 1);
}
return(SlidingLimitParameter);
}
public static EngineParameter <int> GetSlidingSecondsParameter()
{
if (SlidingSecondsParameter == null)
{
SlidingSecondsParameter = new EngineParameter <int>("slidingseconds", 0);
}
return(SlidingSecondsParameter);
}
public static EngineParameter <int> GetDelayParameter()
{
if (DelayParameter == null)
{
DelayParameter = new EngineParameter <int>("delay", 0);
}
return(DelayParameter);
}
public static EngineParameter <int> GetErrorLimitParameter()
{
if (ErrorLimitParameter == null)
{
ErrorLimitParameter = new EngineParameter <int>("errorlimit", 20);
}
return(ErrorLimitParameter);
}
public static EngineParameter <string> GetSolverParameter()
{
if (SolverParameter == null)
{
SolverParameter = new EngineParameter <string>("solver", CVC4, new List <string> {
Z3, CVC4
});
}
return(SolverParameter);
}