Export (0) Print
Expand All

SatSolution Properties

Solver Foundation 3.0

[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]

The SatSolution type exposes the following members.

  Name Description
Public property BackTrackCount Gets the number of backtracks found during a search.
Public property Guesses Gets all the literals in a solution that represent choices.
Public property LearnedClauseCount Gets the number of learned clauses found during a search.
Public property LearnedLiteralCount Gets the number of learned literals found during a search.
Public property Literals Gets a collection of all literals.
Public property Neg Gets a collection of all negative literals.
Public property NegGuess Gets all literals that represent choices and are negative.
Public property Pos Gets a collection of all positive literals.
Public property PosGuess Gets all literals that represent choices and are positive.
Public property RestartCount Gets the number of restarts that occur during a search.
Public property Time Gets the amount of time spent during a search.
Top
Show:
© 2014 Microsoft