equal
deleted
inserted
replaced
241 fun bfs prfs = |
241 fun bfs prfs = |
242 (case List.partition satpred prfs of |
242 (case List.partition satpred prfs of |
243 ([],[]) => [] |
243 ([],[]) => [] |
244 | ([],nonsats) => |
244 | ([],nonsats) => |
245 (message("breadth=" ^ string_of_int(length nonsats)); |
245 (message("breadth=" ^ string_of_int(length nonsats)); |
246 bfs (List.concat (map tacf nonsats))) |
246 bfs (maps tacf nonsats)) |
247 | (sats,_) => sats) |
247 | (sats,_) => sats) |
248 in (fn st => Seq.of_list (bfs [st])) end; |
248 in (fn st => Seq.of_list (bfs [st])) end; |
249 |
249 |
250 val BREADTH_FIRST = gen_BREADTH_FIRST tracing; |
250 val BREADTH_FIRST = gen_BREADTH_FIRST tracing; |
251 val QUIET_BREADTH_FIRST = gen_BREADTH_FIRST (K ()); |
251 val QUIET_BREADTH_FIRST = gen_BREADTH_FIRST (K ()); |