Export (0) Print
Expand All

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.

System.Object
  Microsoft.SolverFoundation.Solvers.SatSolution

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

'Declaration
Public Class SatSolution

The SatSolution type exposes the following members.

  NameDescription
Public methodSatSolutionInitializes a new instance of the SatSolution class.
Top

  NameDescription
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.
Top

  NameDescription
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.)
Top

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