Lines Matching refs:Set

35 import qualified Data.Set as Set
37 ff s [] = head $ Set.elems s
39 	if Set.size s == 1 then head $ Set.elems s else
40 	if Set.member y s then
41 		ff (Set.delete y s) ys
47 	if Set.member r q then
49 	else if Set.size q < npg then
50 		do_opt1 npg (r:n) (Set.insert r q) rs2
54 			nq = Set.delete c q
56 		do_opt1 npg (r:n) (Set.insert r nq) rs2
58 do_opt npg rs = fst $ do_opt1 npg [] Set.empty rs
59 do_opt_dbg npg rs = do_opt1 npg [] Set.empty rs