main_testing4/shogun_test3.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Fri, 26 Apr 2024 17:37:56 +0100
changeset 488 5deaf53c2faa
parent 476 7550c816187a
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
476
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     1
def urbanmain() = {
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     2
  import M4._
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     3
7550c816187a updated
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)),
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     5
                         Pawn(4,Wht,(1,1)), Pawn(4,Red,(1,8)),
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     6
                  	 Pawn(3,Wht,(2,1)), Pawn(2,Red,(2,8)),
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
                      	 Pawn(2,Wht,(3,1)), Pawn(3,Red,(3,8)),
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
              		 Pawn(1,Wht,(5,1)), Pawn(1,Red,(4,8)),
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     9
               		 Pawn(4,Wht,(6,1)), Pawn(3,Red,(6,8)),
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    10
               		 Pawn(3,Wht,(7,1)), Pawn(1,Red,(7,8)),
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    11
               		 Pawn(2,Wht,(8,1)), Pawn(3,Red,(8,8))))
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    12
7550c816187a updated
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)),
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    14
                     Pawn(3, Red, (6,1)), Pawn(2, Wht, (8,4)),
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    15
                     Pawn(4, Red, (4,4)), Pawn(2, Wht, (4,1)),
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    16
                     Pawn(4, Red, (5,3)), Pawn(3, Wht, (8,7)),
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    17
                     Pawn(3, Red, (6,5))))
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    18
7550c816187a updated
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))))
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    20
  assert(attacked(Wht, b2) == Set(Pawn(3,Red,(6,1))))
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    21
  assert(attacked(Wht, b_init) == Set())
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    22
  assert(attacked(Red, b_init) == Set())
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    23
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    24
}