SatSolverParams.RandVarProb 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 variable that is chosen randomly.

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

Syntax

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

Property Value

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

.NET Framework Security

See Also

Reference

SatSolverParams Class

Microsoft.SolverFoundation.Solvers Namespace