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)

public class SatSolverParams

The SatSolverParams type exposes the following members.

Public methodSatSolverParams()Initializes a new instance of the SatSolverParams class.
Public methodSatSolverParams(Func<TResult>)Initializes a new instance of the SatSolverParams class.

Public propertyAbortGets or sets a value that specifies whether the solver should stop.
Public propertyBackTrackCountLimitGets or sets the number of backtracks that triggers a restart.
Public propertyBiasedGets or sets a value that specifies whether a value choice is biased in the search.
Public propertyInitialGuessGets or sets a value that specifies the direction to try first.
Public propertyRandSenseProbGets or sets a sense that is chosen randomly.
Public propertyRandVarProbGets or sets a variable that is chosen randomly.

Public methodEqualsDetermines whether the specified Object is equal to the current Object. (Inherited from Object.)
Protected methodFinalizeAllows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object.)
Public methodGetHashCodeServes as a hash function for a particular type. (Inherited from Object.)
Public methodGetTypeGets the Type of the current instance. (Inherited from Object.)
Protected methodMemberwiseCloneCreates a shallow copy of the current Object. (Inherited from Object.)
Public methodToStringReturns a string that represents the current object. (Inherited from Object.)

Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.