Deepsolver
Public Member Functions
Deepsolver::Sat::MinisatCallData Class Reference

List of all members.

Public Member Functions

 MinisatCallData ()
 The default constructor.
void setClauseSizes (size_t *clauseSizes)
void setCollisions (unsigned char *collisions)
void setEquation (size_t clauseCount, int **equation)
void setSolution (unsigned char *solution)
virtual ~MinisatCallData ()
 The destructor.