| changeset 329 | 828326d1b3b2 |
| parent 296 | 4e5bc75cdbd3 |
| 328:b217232e9246 | 329:828326d1b3b2 |
|---|---|
25 |
25 |
26 def correct_closed_urban(dim: Int)(p: Path) = |
26 def correct_closed_urban(dim: Int)(p: Path) = |
27 correct_urban(6)(p) && moves_urban(p.head).contains(p.last) |
27 correct_urban(6)(p) && moves_urban(p.head).contains(p.last) |
28 |
28 |
29 |
29 |
30 val tsc = first_closed_tour_heuristic(6, List((3, 3))).get |
30 val tsc = first_closed_tour_heuristics(6, List((3, 3))).get |
31 assert(correct_closed_urban(6)(tsc) == true) |
31 assert(correct_closed_urban(6)(tsc) == true) |
32 |
32 |