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)

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

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

Top

	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.

Top

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

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.