Searched refs:doCosetSearch (Results 1 – 2 of 2) sorted by relevance
142 SolutionStore doCosetSearch(Problem* p, const std::vector<AbstractConstraint*>& consCommon, in doCosetSearch() function
233 SolutionStore ss = doCosetSearch(&p, consCommon, consL, consR, so); in cosetSolver()