Enum MinimizationStatus

Namespace: LogicalOptimizer

Assembly: LogicalOptimizer.dll

Provenance of the minimality claim for an optimization result. Refers to the two-level cover cost model: total literals first, then term count. The returned optimized (multi-level) expression never has more literals than that cover.

public enum MinimizationStatus

Fields

BudgetExceeded = 1: Exact search ran but exceeded its work budget: the result is sound and usually minimal, but optimality was not proven.
Heuristic = 2: Outside the exact range (or the exact attempt fell back): rule-based simplification only.
MinimalProven = 0: The minimum cover search completed: the result is provably minimal.