Was this page helpful?
Your feedback about this content is important. Let us know what you think.
Additional feedback?
1500 characters remaining
ConstraintSolverParams.TreeSearchVariableOrdering Enumeration
Collapse the table of content
Expand the table of content

ConstraintSolverParams.TreeSearchVariableOrdering Enumeration

Solver Foundation 3.0

[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]

Defines the choices for tree search algorithms.

Namespace:  Microsoft.SolverFoundation.Solvers
Assembly:  Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)

public enum TreeSearchVariableOrdering

Member nameDescription
AnyThe solver chooses a heuristic for variable ordering.
MinimalDomainFirstEnumeration that selects a variable with the smallest domain.
DeclarationOrderEnumeration following the declaration order of the variables.
DynamicWeightingWeigh variables dynamically based on dependents and current domain sizes.
ConflictDrivenEnumeration based on conflict analysis following a variant of the variable state independent, decaying sum (VSIDS) heuristic.
ImpactPredictionEnumeration based on a forecast of the impact of a decision.
DomainOverWeightedDegreeEnumeration based on the domain over weighted degree.
© 2015 Microsoft