Enum ProjectedCountStatus

Namespace

LogicalOptimizer

Assembly

LogicalOptimizer.dll

Outcome kind of a CountProjectedModels(AstNode, IReadOnlyCollection<string>, ResourceBudget?, CancellationToken) query.

public enum ProjectedCountStatus

Fields

BudgetExhausted = 1

A budget (enumerated-model or per-solve conflict bound) stopped the computation before an exact count was reached; the count is withheld.

Exact = 0

The returned Count is exact.