Deepsolver::Sat::MinisatCallData Member List

This is the complete list of members for Deepsolver::Sat::MinisatCallData, including all inherited members.

MinisatCallData()	Deepsolver::Sat::MinisatCallData	[inline]
setClauseSizes(size_t *clauseSizes) (defined in Deepsolver::Sat::MinisatCallData)	Deepsolver::Sat::MinisatCallData	[inline]
setCollisions(unsigned char *collisions) (defined in Deepsolver::Sat::MinisatCallData)	Deepsolver::Sat::MinisatCallData	[inline]
setEquation(size_t clauseCount, int **equation) (defined in Deepsolver::Sat::MinisatCallData)	Deepsolver::Sat::MinisatCallData	[inline]
setSolution(unsigned char *solution) (defined in Deepsolver::Sat::MinisatCallData)	Deepsolver::Sat::MinisatCallData	[inline]
~MinisatCallData()	Deepsolver::Sat::MinisatCallData	[inline, virtual]