Optimizer interface

Optimize a clause by rewriting it.

Methods

optimize(Clause)

Optionally rewrite a clause.

Method Details

optimize(Clause)

Optionally rewrite a clause.

function optimize(clause: Clause): Clause

Parameters

clause
Clause

Original clause.

Returns

Optimized clause.