SatSolverParams.BackTrackCountLimit Property

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

Gets or sets the number of backtracks that triggers a restart.

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

Syntax

'Declaration
Public Overridable Property BackTrackCountLimit As Integer
public virtual int BackTrackCountLimit { get; set; }
public:
virtual property int BackTrackCountLimit {
    int get ();
    void set (int value);
}
abstract BackTrackCountLimit : int with get, set
override BackTrackCountLimit : int with get, set
function get BackTrackCountLimit () : int
function set BackTrackCountLimit (value : int)

Property Value

Type: System.Int32
The number of backtracks that triggers a restart.

.NET Framework Security

See Also

Reference

SatSolverParams Class

Microsoft.SolverFoundation.Solvers Namespace