示例#1
0
 public void SetRlimit()
 {
     if (0 < rlimit)
     {
         TheoremProver.SetRlimit(rlimit);
     }
     else
     {
         TheoremProver.SetRlimit(0);
     }
 }
示例#2
0
 private void SetRlimit(int rlimit)
 {
     TheoremProver.SetRlimit(rlimit * 1000);
 }
示例#3
0
 private void SetRlimit(uint rlimit)
 {
     TheoremProver.SetRlimit(Util.SafeMult(rlimit, 1000));
 }