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(attackedN(Pawn(2, Wht, (8,4)), b2) == 3)
  | 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
    20  | 
  assert(attackedN(King(2, Wht, (7,1)), b2) == 1)
  | 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
    21  | 
  assert(attackedN(Pawn(3, Red, (6,1)), b2) == 1)
  | 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
    22  | 
  | 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
    23  | 
}
  |