位置：文档/GOF API列表

set_max_loop

Setup max loop, the tool stops logic optimization when max loop number is reached
Usage:
set_max_loop($value);
$value: Setup BDD threshold, default 40000