Deepsolver
LibMinisatCallData Member List
This is the complete list of members for LibMinisatCallData, including all inherited members.
LibMinisatCallData() (defined in LibMinisatCallData)LibMinisatCallData [inline]
setClauseSizes(size_t *clauseSizes) (defined in LibMinisatCallData)LibMinisatCallData [inline]
setCollisions(unsigned char *collisions) (defined in LibMinisatCallData)LibMinisatCallData [inline]
setEquation(size_t clauseCount, int **equation) (defined in LibMinisatCallData)LibMinisatCallData [inline]
setSolution(unsigned char *solution) (defined in LibMinisatCallData)LibMinisatCallData [inline]
~LibMinisatCallData() (defined in LibMinisatCallData)LibMinisatCallData [inline, virtual]