| changeset 431 | 4a5b59690f0a |
| parent 430 | 4029552de5fc |
| 430:4029552de5fc | 431:4a5b59690f0a |
|---|---|
22 case x::y::p => |
22 case x::y::p => |
23 if (legal_moves_urban(dim, p, y).contains(x)) correct_urban(dim)(y::p) else false |
23 if (legal_moves_urban(dim, p, y).contains(x)) correct_urban(dim)(y::p) else false |
24 } |
24 } |
25 |
25 |
26 |
26 |
27 val ts70 = tour_on_mega_board(70, List((0,0))).get |
27 val ts70 = one_tour_pred(8, List((0, 0)), 40, x => x._1 < 5).get |
28 assert(correct_urban(70)(ts70) == true) |
28 assert(correct_urban(8)(ts70) == true) |
29 |
29 |