main_testing4/shogun_test5.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Sat, 04 Nov 2023 18:53:37 +0000
changeset 473 be818c5a67d4
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
473
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     1
def urbanmain() = {
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     2
  import M4._
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     3
be818c5a67d4 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)),
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     5
                     Pawn(3, Red, (6,1)), Pawn(2, Wht, (8,4)),
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     6
                     Pawn(4, Red, (4,4)), Pawn(2, Wht, (4,1)),
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
                     Pawn(4, Red, (5,3)), Pawn(3, Wht, (8,7)),
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
                     Pawn(3, Red, (6,5))))
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     9
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    10
  assert(protectedN(Pawn(2, Wht, (8,4)), b2) == 1)
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    11
  assert(protectedN(Pawn(4, Red, (5,3)), b2) == 3)
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    12
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    13
}