Solver Foundation 3.0
[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.
Assembly: Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
protected bool Init( SatSolverParams prm, int varLim, IEnumerable<Literal> rgcl )
- Type: Microsoft.SolverFoundation.Solvers.SatSolverParams
A set of solver parameters.
- Type: System.Int32
The limit variable.
Return ValueType: System.Boolean
true if the data structures are initialized successfully; otherwise, false.
- 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.