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)); }