equal
deleted
inserted
replaced
23 case x::y::p => |
23 case x::y::p => |
24 if (legal_moves_urban(dim, p, y).contains(x)) correct_urban(dim)(y::p) else false |
24 if (legal_moves_urban(dim, p, y).contains(x)) correct_urban(dim)(y::p) else false |
25 } |
25 } |
26 |
26 |
27 |
27 |
28 val ts8 = first_tour_heuristic(8, List((0,0))).get |
28 val ts8 = first_tour_heuristics(8, List((0,0))).get |
29 assert(correct_urban(8)(ts8) == true) |
29 assert(correct_urban(8)(ts8) == true) |
30 |
30 |
31 val ts30 = first_tour_heuristic(30, List((0,0))).get |
31 val ts30 = first_tour_heuristics(30, List((0,0))).get |
32 assert(correct_urban(30)(ts30) == true) |
32 assert(correct_urban(30)(ts30) == true) |
33 |
33 |