Deepsolver
Main Page
Classes
Class List
Class Index
Class Hierarchy
Class Members
Public Member Functions
LibMinisatCallData Class Reference
List of all members.
Public Member Functions
void
setClauseSizes
(size_t *clauseSizes)
void
setCollisions
(unsigned char *collisions)
void
setEquation
(size_t clauseCount, int **equation)
void
setSolution
(unsigned char *solution)
Generated on Thu May 23 2013 17:35:17 for Deepsolver by
1.7.5.1