SatSolverParams Class
Solver Foundation 3.0
[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]
Defines the parameters for the satisfaction solver.
Namespace: Microsoft.SolverFoundation.Solvers
Assembly: Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
The SatSolverParams type exposes the following members.
| Name | Description | |
|---|---|---|
 | SatSolverParams() | Initializes a new instance of the SatSolverParams class. |
| SatSolverParams(Func<TResult>) | Initializes a new instance of the SatSolverParams class. |
| Name | Description | |
|---|---|---|
| Abort | Gets or sets a value that specifies whether the solver should stop. |
| BackTrackCountLimit | Gets or sets the number of backtracks that triggers a restart. |
| Biased | Gets or sets a value that specifies whether a value choice is biased in the search. |
| InitialGuess | Gets or sets a value that specifies the direction to try first. |
| RandSenseProb | Gets or sets a sense that is chosen randomly. |
| RandVarProb | Gets or sets a variable that is chosen randomly. |
| Name | Description | |
|---|---|---|
| Equals | Determines whether the specified Object is equal to the current Object. (Inherited from Object.) |
| Finalize | Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object.) |
| GetHashCode | Serves as a hash function for a particular type. (Inherited from Object.) |
| GetType | Gets the Type of the current instance. (Inherited from Object.) |
| MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object.) |
| ToString | Returns a string that represents the current object. (Inherited from Object.) |
Show: