다음을 통해 공유


Optimizer interface

절을 다시 작성하여 최적화합니다.

메서드

optimize(Clause)

필요에 따라 절을 다시 작성합니다.

메서드 세부 정보

optimize(Clause)

필요에 따라 절을 다시 작성합니다.

function optimize(clause: Clause): Clause

매개 변수

clause
Clause

원래 절입니다.

반환

최적화된 절입니다.