Export (0) Print
Expand All
This topic has not yet been rated - Rate this topic

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.

System::Object
  Microsoft.SolverFoundation.Solvers::SatSolverParams

Namespace:  Microsoft.SolverFoundation.Solvers
Assembly:  Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
public ref class SatSolverParams

The SatSolverParams type exposes the following members.

  NameDescription
Public methodSatSolverParams()Initializes a new instance of the SatSolverParams class.
Public methodSatSolverParams(Func<TResult>)Initializes a new instance of the SatSolverParams class.
Top
  NameDescription
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.
Top
  NameDescription
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.)
Top
Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.
Did you find this helpful?
(1500 characters remaining)
Thank you for your feedback
Show:
© 2014 Microsoft. All rights reserved.