ConstraintSolverParams.TreeSearchVariableOrdering Enumeration
[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)
Syntax
'Declaration
Public Enumeration TreeSearchVariableOrdering
public enum TreeSearchVariableOrdering
public enum class TreeSearchVariableOrdering
type TreeSearchVariableOrdering
public enum TreeSearchVariableOrdering
Members
| Member name | Description | |
|---|---|---|
| Any | The solver chooses a heuristic for variable ordering. | |
| MinimalDomainFirst | Enumeration that selects a variable with the smallest domain. | |
| DeclarationOrder | Enumeration following the declaration order of the variables. | |
| DynamicWeighting | Weigh variables dynamically based on dependents and current domain sizes. | |
| ConflictDriven | Enumeration based on conflict analysis following a variant of the variable state independent, decaying sum (VSIDS) heuristic. | |
| ImpactPrediction | Enumeration based on a forecast of the impact of a decision. | |
| DomainOverWeightedDegree | Enumeration based on the domain over weighted degree. |