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)

public class SatSolution

The SatSolution type exposes the following members.

Public methodSatSolutionInitializes a new instance of the SatSolution class.

Public propertyBackTrackCountGets the number of backtracks found during a search.
Public propertyGuessesGets all the literals in a solution that represent choices.
Public propertyLearnedClauseCountGets the number of learned clauses found during a search.
Public propertyLearnedLiteralCountGets the number of learned literals found during a search.
Public propertyLiteralsGets a collection of all literals.
Public propertyNegGets a collection of all negative literals.
Public propertyNegGuessGets all literals that represent choices and are negative.
Public propertyPosGets a collection of all positive literals.
Public propertyPosGuessGets all literals that represent choices and are positive.
Public propertyRestartCountGets the number of restarts that occur during a search.
Public propertyTimeGets the amount of time spent during a search.

Public methodEqualsDetermines whether the specified Object is equal to the current Object. (Inherited from Object.)
Protected methodFinalizeAllows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object.)
Public methodGetHashCodeServes as a hash function for a particular type. (Inherited from Object.)
Public methodGetTypeGets the Type of the current instance. (Inherited from Object.)
Protected methodMemberwiseCloneCreates a shallow copy of the current Object. (Inherited from Object.)
Public methodToStringConverts a satisfaction solution to its equivalent string representation. (Overrides Object.ToString().)

Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.