Export (0) Print
Expand All

SatSolver Methods

Solver Foundation 3.0

[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]

The SatSolver type exposes the following members.

  Name Description
Public method Equals Determines whether the specified Object is equal to the current Object. (Inherited from Object.)
Protected method Finalize Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object.)
Public method GetHashCode Serves as a hash function for a particular type. (Inherited from Object.)
Public method GetType Gets the Type of the current instance. (Inherited from Object.)
Protected method Init Initializes the data structures to represent a specified set of clauses.
Protected method MemberwiseClone Creates a shallow copy of the current Object. (Inherited from Object.)
Public method Static member Solve Determines which Boolean value to try first.
Public method ToString Returns a string that represents the current object. (Inherited from Object.)
Top
Show:
© 2014 Microsoft