| 473 
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 | }
 |