Export (0) Print
Expand All
0 out of 1 rated this helpful - Rate this topic

SatSolver 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.]

Defines a satisfaction solver.

System.Object
  Microsoft.SolverFoundation.Solvers.SatSolver

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

The SatSolver type exposes the following members.

  NameDescription
Public methodSatSolverInitializes a new instance of the SatSolver class.
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 methodInitInitializes the data structures to represent a specified set of clauses.
Protected methodMemberwiseCloneCreates a shallow copy of the current Object. (Inherited from Object.)
Public methodStatic memberSolveDetermines which Boolean value to try first.
Public methodToStringReturns a string that represents the current object. (Inherited from Object.)
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.
Did you find this helpful?
(1500 characters remaining)
Thank you for your feedback
Show:
© 2014 Microsoft. All rights reserved.