SatSolverParams Constructor (Func)

Solver Foundation 3.0

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

Initializes a new instance of the SatSolverParams class.

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

public SatSolverParams(
	Func fnQueryAbort


Type: System.Func<TResult>
A function that is called periodically throughout the computation to determine whether the user has cancelled the operation.