名称:
- set_eval_limit() - 设定执行耗费时间 (evaluation cost) 的上限值.
- void set_eval_limit( int );
无传回值 set_eval_limit( 整数 );
- 以一个非零值的参数指定给 set_eval_limit() 函式, 则设定任何一个执行绪
(thread) 在发生错误之前所允许的最高执行耗费时间. 如果参数为 0, 则将目前的执行耗费时间计数器
(counter) 归零, 并传回目前执行耗费时间的上限值. set_eval_limit(-1) 传回剩下的执行耗费时间.
- Spock @ FF 97.Jul.21. (printed 3/16/95)