SatSolver.Init Method
[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]
Initializes the data structures to represent a specified set of clauses.
Namespace: Microsoft.SolverFoundation.Solvers
Assembly: Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
Syntax
'Declaration
Protected Function Init ( _
prm As SatSolverParams, _
varLim As Integer, _
rgcl As IEnumerable(Of Literal()) _
) As Boolean
protected bool Init(
SatSolverParams prm,
int varLim,
IEnumerable<Literal[]> rgcl
)
protected:
bool Init(
SatSolverParams^ prm,
int varLim,
IEnumerable<array<Literal>^>^ rgcl
)
member Init :
prm:SatSolverParams *
varLim:int *
rgcl:IEnumerable<Literal[]> -> bool
protected function Init(
prm : SatSolverParams,
varLim : int,
rgcl : IEnumerable<Literal[]>
) : boolean
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.Boolean
true if the data structures are initialized successfully; otherwise, false.
.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.