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