SatSolverParams.Abort Property

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

Gets or sets a value that specifies whether the solver should stop.

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


Public Overridable Property Abort As Boolean
public virtual bool Abort { get; set; }
virtual property bool Abort {
    bool get ();
    void set (bool value);
abstract Abort : bool with get, set
override Abort : bool with get, set
function get Abort () : boolean
function set Abort (value : boolean)

Property Value

Type: System.Boolean
true if the computation should stop; otherwise, false.

.NET Framework Security

See Also


SatSolverParams Class

Microsoft.SolverFoundation.Solvers Namespace