SatSolution Class

[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.

Inheritance Hierarchy

System.Object
Microsoft.SolverFoundation.Solvers.SatSolution

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

'Declaration
Public Class SatSolution

public class SatSolution

public ref class SatSolution

type SatSolution =  class end

public class SatSolution

The SatSolution type exposes the following members.

	Name	Description
	SatSolution	Initializes a new instance of the SatSolution class.

Top

	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.

Top

	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().)

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.