Searched refs:consR (Results 1 – 2 of 2) sorted by relevance
144 const std::vector<AbstractConstraint*>& consR, in doCosetSearch() argument149 (void)consR; in doCosetSearch()
231 std::vector<AbstractConstraint*> consR = readNestedConstraints(p, conlistR); in cosetSolver() local233 SolutionStore ss = doCosetSearch(&p, consCommon, consL, consR, so); in cosetSolver()