SatSolverParams.RandSenseProb Property

[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]

Gets or sets a sense that is chosen randomly.

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

Syntax

'Declaration
Public Overridable Property RandSenseProb As Double
public virtual double RandSenseProb { get; set; }
public:
virtual property double RandSenseProb {
    double get ();
    void set (double value);
}
abstract RandSenseProb : float with get, set
override RandSenseProb : float with get, set
function get RandSenseProb () : double
function set RandSenseProb (value : double)

Property Value

Type: System.Double
A sense that is chosen randomly.

.NET Framework Security

See Also

Reference

SatSolverParams Class

Microsoft.SolverFoundation.Solvers Namespace