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)

Syntax

'Declaration
Public Overridable Property Abort As Boolean

public virtual bool Abort { get; set; }

public:
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)

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

Full trust for the immediate caller. This member cannot be used by partially trusted code. For more information, see Using Libraries from Partially Trusted Code.