Freigeben über


Optimizer interface

Optimieren Sie eine Klausel, indem Sie sie neu schreiben.

Methoden

optimize(Clause)

Optional können Sie eine Klausel neu schreiben.

Details zur Methode

optimize(Clause)

Optional können Sie eine Klausel neu schreiben.

function optimize(clause: Clause): Clause

Parameter

clause
Clause

Ursprüngliche Klausel.

Gibt zurück

Optimierte Klausel.