SatSolution Class
Solver Foundation 3.0
[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]
Stores information for a SatSolver solution.
Namespace: Microsoft.SolverFoundation.Solvers
Assembly: Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
The SatSolution type exposes the following members.
| Name | Description | |
|---|---|---|
![]() | BackTrackCount | Gets the number of backtracks found during a search. |
![]() | Guesses | Gets all the literals in a solution that represent choices. |
![]() | LearnedClauseCount | Gets the number of learned clauses found during a search. |
![]() | LearnedLiteralCount | Gets the number of learned literals found during a search. |
![]() | Literals | Gets a collection of all literals. |
![]() | Neg | Gets a collection of all negative literals. |
![]() | NegGuess | Gets all literals that represent choices and are negative. |
![]() | Pos | Gets a collection of all positive literals. |
![]() | PosGuess | Gets all literals that represent choices and are positive. |
![]() | RestartCount | Gets the number of restarts that occur during a search. |
![]() | Time | Gets the amount of time spent during a search. |
| Name | Description | |
|---|---|---|
![]() | Equals | Determines whether the specified Object is equal to the current Object. (Inherited from Object.) |
![]() | Finalize | Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object.) |
![]() | GetHashCode | Serves as a hash function for a particular type. (Inherited from Object.) |
![]() | GetType | Gets the Type of the current instance. (Inherited from Object.) |
![]() | MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object.) |
![]() | ToString | Converts a satisfaction solution to its equivalent string representation. (Overrides Object.ToString.) |
Show:
