Export (0) Print
Expand All

SatSolver.Init Method

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.

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

protected bool Init(
	SatSolverParams prm,
	int varLim,
	IEnumerable<Literal[]> rgcl
)

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<Literal[]>
A collection of literals.

Return Value

Type: System.Boolean
true if the data structures are initialized successfully; otherwise, false.

Show:
© 2014 Microsoft