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.