SatSolution.BackTrackCount Property

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

Gets the number of backtracks found during a search.

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


Public ReadOnly Property BackTrackCount As Integer
public int BackTrackCount { get; }
property int BackTrackCount {
    int get ();
member BackTrackCount : int
function get BackTrackCount () : int

Property Value

Type: System.Int32
The number of backtracks found during the search.

.NET Framework Security

See Also


SatSolution Class

Microsoft.SolverFoundation.Solvers Namespace