public void SetRlimit()
{
if (0 < rlimit)
{
TheoremProver.SetRlimit(rlimit);
}
else
{
TheoremProver.SetRlimit(0);
}
}
private void SetRlimit(int rlimit)
{
TheoremProver.SetRlimit(rlimit * 1000);
}
private void SetRlimit(uint rlimit)
{
TheoremProver.SetRlimit(Util.SafeMult(rlimit, 1000));
}