476
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1 |
def urbanmain() = {
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
2 |
import M4._
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
3 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
4 |
val b_init = Board(Set(King(2,Wht,(4,1)), King(1,Red,(5,8)),
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
5 |
Pawn(4,Wht,(1,1)), Pawn(4,Red,(1,8)),
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
6 |
Pawn(3,Wht,(2,1)), Pawn(2,Red,(2,8)),
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
7 |
Pawn(2,Wht,(3,1)), Pawn(3,Red,(3,8)),
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
8 |
Pawn(1,Wht,(5,1)), Pawn(1,Red,(4,8)),
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
9 |
Pawn(4,Wht,(6,1)), Pawn(3,Red,(6,8)),
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
10 |
Pawn(3,Wht,(7,1)), Pawn(1,Red,(7,8)),
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
11 |
Pawn(2,Wht,(8,1)), Pawn(3,Red,(8,8))))
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
12 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
13 |
val b2 = Board(Set(King(2, Red, (4,2)), King(2, Wht, (7,1)),
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
14 |
Pawn(3, Red, (6,1)), Pawn(2, Wht, (8,4)),
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
15 |
Pawn(4, Red, (4,4)), Pawn(2, Wht, (4,1)),
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
16 |
Pawn(4, Red, (5,3)), Pawn(3, Wht, (8,7)),
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
17 |
Pawn(3, Red, (6,5))))
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
18 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
19 |
assert(attacked(Red, b2) == Set(Pawn(2,Wht,(8,4)), King(2,Wht,(7,1))))
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
20 |
assert(attacked(Wht, b2) == Set(Pawn(3,Red,(6,1))))
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
21 |
assert(attacked(Wht, b_init) == Set())
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
22 |
assert(attacked(Red, b_init) == Set())
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
23 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
24 |
}
|