SatSolverParams Constructor
[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.
This member is overloaded. For complete information about this member, including syntax, usage, and examples, click a name in the overload list.
Overload List
| Name | Description | |
|---|---|---|
.gif "Public method") |
SatSolverParams() | Initializes a new instance of the SatSolverParams class. |
|
SatSolverParams(Func<TResult>) | Initializes a new instance of the SatSolverParams class. |
Top