main_testing4/shogun_test5.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Fri, 26 Apr 2024 17:36:41 +0100
changeset 487 efad9725dfd8
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 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
     5
                     Pawn(3, Red, (6,1)), Pawn(2, Wht, (8,4)),
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     6
                     Pawn(4, Red, (4,4)), Pawn(2, Wht, (4,1)),
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
                     Pawn(4, Red, (5,3)), Pawn(3, Wht, (8,7)),
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
                     Pawn(3, Red, (6,5))))
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     9
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    10
  assert(protectedN(Pawn(2, Wht, (8,4)), b2) == 1)
7550c816187a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    11
  assert(protectedN(Pawn(4, Red, (5,3)), b2) == 3)
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
}