SatSolver.Solve Method
[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]
Determines which Boolean value to try first.
Namespace: Microsoft.SolverFoundation.Solvers
Assembly: Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
Syntax
'Declaration
Public Shared Function Solve ( _
prm As SatSolverParams, _
varLim As Integer, _
rgcl As IEnumerable(Of Literal()) _
) As IEnumerable(Of SatSolution)
public static IEnumerable<SatSolution> Solve(
SatSolverParams prm,
int varLim,
IEnumerable<Literal[]> rgcl
)
public:
static IEnumerable<SatSolution^>^ Solve(
SatSolverParams^ prm,
int varLim,
IEnumerable<array<Literal>^>^ rgcl
)
static member Solve :
prm:SatSolverParams *
varLim:int *
rgcl:IEnumerable<Literal[]> -> IEnumerable<SatSolution>
public static function Solve(
prm : SatSolverParams,
varLim : int,
rgcl : IEnumerable<Literal[]>
) : IEnumerable<SatSolution>
Parameters
- prm
Type: Microsoft.SolverFoundation.Solvers.SatSolverParams
A set of solver parameters.
- varLim
Type: System.Int32
The limit variable.
- rgcl
Type: System.Collections.Generic.IEnumerable<array<Literal[]>
A collection of literals.
Return Value
Type: System.Collections.Generic.IEnumerable<SatSolution>
A collection of solutions.
.NET Framework Security
- Full trust for the immediate caller. This member cannot be used by partially trusted code. For more information, see Using Libraries from Partially Trusted Code.