Condividi tramite


Optimizer interface

Ottimizzare una clausola riscrivendola.

Metodi

optimize(Clause)

Facoltativamente, riscrivere una clausola.

Dettagli metodo

optimize(Clause)

Facoltativamente, riscrivere una clausola.

function optimize(clause: Clause): Clause

Parametri

clause
Clause

Clausola originale.

Restituisce

Clausola ottimizzata.