Class OptimizationTrace

Namespace

LogicalOptimizer

Assembly

LogicalOptimizer.dll

Opt-in diagnostic record of how an optimization result was reached: which engine was chosen and why, which budgets applied, which candidates were produced, which one was adopted or rejected and on what cost, how equivalence and minimality were discharged, and why a run ended on a fallback or a non-proven status.

Enable it with IncludeTrace and read it from Trace. It is a diagnostic aid, not a stability contract: entry wording and ordering may change between minor versions, so log it or display it rather than asserting on exact text.

public sealed class OptimizationTrace

Inheritance

object

OptimizationTrace

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

Properties

Entries

The recorded decisions, in the order the pipeline made them.

public IReadOnlyList<OptimizationTraceEntry> Entries { get; }

Property Value

IReadOnlyList<OptimizationTraceEntry>

Methods

OfCategory(OptimizationTraceCategory)

Entries of one category, e.g. every Proof.

public IEnumerable<OptimizationTraceEntry> OfCategory(OptimizationTraceCategory category)

Parameters

category OptimizationTraceCategory

Returns

IEnumerable<OptimizationTraceEntry>

ToString()

One line per entry, suitable for a log or a diagnostics pane.

public override string ToString()

Returns

string