此浏览器不再受支持。
请升级到 Microsoft Edge 以使用最新的功能、安全更新和技术支持。
备注
访问此页面需要授权。 可以尝试登录或更改目录。
访问此页面需要授权。 可以尝试更改目录。
通过重写子句来优化子句。
（可选）重写子句。
function optimize(clause: Clause): Clause
原始子句。
Optimized 子句。