equal
deleted
inserted
replaced
21 case x::Nil => true |
21 case x::Nil => true |
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 import scala.concurrent._ |
|
27 import scala.concurrent.duration._ |
|
28 import ExecutionContext.Implicits.global |
|
29 import scala.language.postfixOps |
|
30 |
|
31 lazy val f = Future { |
26 |
32 |
27 val ts8_urban = first_tour_heuristics(8, List((0,0))).get |
33 val ts8_urban = first_tour_heuristics(8, List((0,0))).get |
28 assert(correct_urban(8)(ts8_urban) == true) |
34 assert(correct_urban(8)(ts8_urban) == true) |
29 |
35 |
30 val ts30_urban = first_tour_heuristics(30, List((0,0))).get |
36 val ts30_urban = first_tour_heuristics(30, List((0,0))).get |
31 assert(correct_urban(30)(ts30_urban) == true) |
37 assert(correct_urban(30)(ts30_urban) == true) |
|
38 } |
32 |
39 |
|
40 Await.result(f, 32 second) |
|
41 |
|
42 |