SatSolverParams Constructor (Func<Boolean>)
Initializes a new instance of the SatSolverParams class.
Namespace: Microsoft.SolverFoundation.Solvers
Assembly: Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
Syntax
'Declaration
Public Sub New ( _
fnQueryAbort As Func(Of Boolean) _
)
public SatSolverParams(
Func<bool> fnQueryAbort
)
public:
SatSolverParams(
Func<bool>^ fnQueryAbort
)
new :
fnQueryAbort:Func<bool> -> SatSolverParams
public function SatSolverParams(
fnQueryAbort : Func<boolean>
)
Parameters
- fnQueryAbort
Type: System.Func<Boolean>
A function that is called periodically through the computation to determine if the user has cancelled the operation.
.NET Framework Security
- 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.
See Also
Reference
SatSolverParams Members