Share via


SatSolverParams Class

[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.

Inheritance Hierarchy

System.Object
  Microsoft.SolverFoundation.Solvers.SatSolverParams

Namespace:  Microsoft.SolverFoundation.Solvers
Assembly:  Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)

Syntax

'Declaration
Public Class SatSolverParams
public class SatSolverParams
public ref class SatSolverParams
type SatSolverParams =  class end
public class SatSolverParams

The SatSolverParams type exposes the following members.

Constructors

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

Top

Properties

  Name Description
Public property Abort Gets or sets a value that specifies whether the solver should stop.
Public property BackTrackCountLimit Gets or sets the number of backtracks that triggers a restart.
Public property Biased Gets or sets a value that specifies whether a value choice is biased in the search.
Public property InitialGuess Gets or sets a value that specifies the direction to try first.
Public property RandSenseProb Gets or sets a sense that is chosen randomly.
Public property RandVarProb Gets or sets a variable that is chosen randomly.

Top

Methods

  Name Description
Public method Equals Determines whether the specified Object is equal to the current Object. (Inherited from Object.)
Protected method Finalize Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object.)
Public method GetHashCode Serves as a hash function for a particular type. (Inherited from Object.)
Public method GetType Gets the Type of the current instance. (Inherited from Object.)
Protected method MemberwiseClone Creates a shallow copy of the current Object. (Inherited from Object.)
Public method ToString Returns a string that represents the current object. (Inherited from Object.)

Top

Thread Safety

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

See Also

Reference

Microsoft.SolverFoundation.Solvers Namespace