已不再支援此瀏覽器。
請升級至 Microsoft Edge，以利用最新功能、安全性更新和技術支援。
注意
需要授權才能存取此頁面。 您可以嘗試登入或變更目錄。
需要授權才能存取此頁面。 您可以嘗試變更目錄。
藉由重寫子句來優化 子句。
選擇性地重寫 子句。
function optimize(clause: Clause): Clause
原始子句。
Optimized 子句。