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