Export (0) Print
Expand All

SatSolution Constructor

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 a new instance of the SatSolution class.

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

public SatSolution(
	Literal[] rglit,
	int[] rgilitGuess,
	int cvRestart,
	int cvBackTrack,
	int cclLearned,
	int learnedLiteralCount,
	TimeSpan ts
)

Parameters

rglit
Type: Microsoft.SolverFoundation.Solvers.Literal[]
A collection of literals.
rgilitGuess
Type: System.Int32[]
A collection of literals that represent choices.
cvRestart
Type: System.Int32
The number of restarts.
cvBackTrack
Type: System.Int32
The number of backtracks.
cclLearned
Type: System.Int32
The number of learned clauses.
learnedLiteralCount
Type: System.Int32
The number of learned literals.
ts
Type: System.TimeSpan
The amount of time spent in a search.

Show:
© 2014 Microsoft