Searched refs:consCommon (Results 1 – 2 of 2) sorted by relevance
142 SolutionStore doCosetSearch(Problem* p, const std::vector<AbstractConstraint*>& consCommon, in doCosetSearch() argument150 for(auto i : consCommon) in doCosetSearch()
229 std::vector<AbstractConstraint*> consCommon = readNestedConstraints(p, conlistCommon); in cosetSolver() local233 SolutionStore ss = doCosetSearch(&p, consCommon, consL, consR, so); in cosetSolver()