386
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1 |
import CW9a._
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
2 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
3 |
assert(legal_moves(8, Nil, (2,2)) ==
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
4 |
List((3,4), (4,3), (4,1), (3,0), (1,0), (0,1), (0,3), (1,4)))
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
5 |
assert(legal_moves(8, Nil, (7,7)) == List((6,5), (5,6)))
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
6 |
assert(legal_moves(8, List((4,1), (1,0)), (2,2)) ==
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
7 |
List((3,4), (4,3), (3,0), (0,1), (0,3), (1,4)))
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
8 |
assert(legal_moves(8, Nil, (0,1)) == List((1,3), (2,2), (2,0)))
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
9 |
assert(legal_moves(8, List((6,6)), (7,7)) == List((6,5), (5,6)))
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
10 |
assert(legal_moves(1, Nil, (0,0)) == Nil)
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
11 |
assert(legal_moves(2, Nil, (0,0)) == Nil)
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
12 |
assert(legal_moves(3, Nil, (0,0)) == List((1,2), (2,1)))
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
13 |
|