Enum OptimizationTraceCategory

Namespace

LogicalOptimizer

Assembly

LogicalOptimizer.dll

What kind of decision a OptimizationTraceEntry records.

public enum OptimizationTraceCategory

Fields

Adopted = 3

A candidate was adopted as the new best, with the cost that justified it.

Budget = 1

A work budget that applied to a phase, and the limit value in force.

Candidate = 2

A candidate expression was produced and costed.

EngineSelection = 0

Which engine/zone was selected for this expression, and on what threshold.

Fallback = 6

A phase gave up its intended path and continued on a lesser one.

Proof = 5

An equivalence/minimality proof was attempted, and how it was discharged.

Rejected = 4

A candidate was not adopted, with the reason.

Status = 7

A reported outcome (minimality provenance, computation status).