main_testing4/shogun.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Sun, 15 Sep 2024 12:57:59 +0100
changeset 490 f70d74fea67f
parent 473 be818c5a67d4
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
     1
// Resit about the Shogun Board Game
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
     2
//====================================
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
     3
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
     4
// Task 1 - 6 see below
473
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     5
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     6
object M4 {   
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
type Pos = (Int, Int)    // a position on a chessboard 
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
// Colours: Red or White
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    11
abstract class Colour
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    12
case object Red extends Colour
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    13
case object Wht extends Colour
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    14
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    15
// Pieces: Either Pawns or Kings
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    16
//===============================
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    17
abstract class Piece {
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    18
  def pos : Pos       
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    19
  def col : Colour    
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    20
  def en : Int      // energy for Pawns 1 - 4, for Kings 1 - 2
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    21
}
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    22
case class Pawn(en: Int, col: Colour, pos: Pos) extends Piece
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    23
case class King(en: Int, col: Colour, pos: Pos) extends Piece
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    24
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
    25
// how to extract components from pieces
473
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    26
//val p = Pawn(4, Wht, (3,2))
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    27
//assert(p.pos == (3,2))
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    28
//assert(p.col == Wht)
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    29
//assert(p.en == 4)  
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    30
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    31
// checks if a piece is a king
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    32
def is_king(pc: Piece) : Boolean = pc match {
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    33
  case King(_, _, _) => true
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    34
  case _ => false
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    35
}
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    36
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    37
// incrementing and decrementing the position of a piece
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    38
def incx(pc: Piece) : Piece = pc match {
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    39
  case Pawn(en, c, (x,y)) => Pawn(en, c, (x+1,y))
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    40
  case King(en, c, (x,y)) => King(en, c, (x+1,y))
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    41
}
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    42
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    43
def incy(pc: Piece) : Piece = pc match {
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    44
  case Pawn(en, c, (x,y)) => Pawn(en, c, (x,y+1))
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    45
  case King(en, c, (x,y)) => King(en, c, (x,y+1))
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    46
}
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    47
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    48
def decx(pc: Piece) : Piece = pc match {
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    49
  case Pawn(en, c, (x,y)) => Pawn(en, c, (x-1,y))
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    50
  case King(en, c, (x,y)) => King(en, c, (x-1,y))
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    51
}
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    52
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    53
def decy(pc: Piece) : Piece = pc match {
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    54
  case Pawn(en, c, (x,y)) => Pawn(en, c, (x,y-1))
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    55
  case King(en, c, (x,y)) => King(en, c, (x,y-1))
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    56
}
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    57
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    58
//pretty printing colours and pieces
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    59
def pp_color(c: Colour) : String = c match {
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    60
  case Red => "R"
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    61
  case Wht => "W"
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    62
}
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    63
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    64
def pp(pc: Piece) : String = pc match {
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    65
  case Pawn(n, c, _) => s"P${pp_color(c)}$n"
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    66
  case King(n, c, _) => s"K${pp_color(c)}$n"
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    67
}
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    68
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    69
// Boards are sets of pieces
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    70
//===========================
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    71
case class Board(pces: Set[Piece]) {
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    72
  def +(pc: Piece) : Board = Board(pces + pc)
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    73
  def -(pc: Piece) : Board = Board(pces - pc)
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    74
}
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    75
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    76
// checking whether a position is occupied in a board
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    77
def occupied(p: Pos, b: Board) : Option[Piece] =  
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    78
  b.pces.find(p == _.pos)
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    79
  
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    80
def occupied_by(p: Pos, b: Board) : Option[Colour] =
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    81
  occupied(p, b).map(_.col)
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    82
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    83
def is_occupied(p: Pos, b: Board) : Boolean =
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    84
  occupied(p, b).isDefined
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    85
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    86
// is a position inside a board
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    87
def inside(p: Pos, b: Board): Boolean = 
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    88
  1 <= p._1 && 1 <= p._2 && p._1 <= 8 && p._2 <= 8 
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    89
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    90
// pretty printing a board
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    91
def print_board(b: Board): Unit = {
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    92
  println()
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    93
  for (i <- 8 to 1 by -1) {
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
    94
    println("----" * 8)
473
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    95
    for (j <- 1 to 8) {
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    96
      val opc = occupied((j,i), b)
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    97
      if (opc.isDefined) print(s"|${pp(opc.get)}") 
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    98
      else print("|   ")
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    99
    }
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   100
    println("|")
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   101
  } 
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   102
  println("----" * 8)
473
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   103
}
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   104
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   105
// example board: initial board
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   106
val b_init = Board(Set(King(2,Wht,(4,1)), King(1,Red,(5,8)),
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   107
                  		 Pawn(4,Wht,(1,1)), Pawn(4,Red,(1,8)),
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   108
                  		 Pawn(3,Wht,(2,1)), Pawn(2,Red,(2,8)),
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   109
                  		 Pawn(2,Wht,(3,1)), Pawn(3,Red,(3,8)),
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   110
                  		 Pawn(1,Wht,(5,1)), Pawn(1,Red,(4,8)),
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   111
                  		 Pawn(4,Wht,(6,1)), Pawn(3,Red,(6,8)),
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   112
                  		 Pawn(3,Wht,(7,1)), Pawn(1,Red,(7,8)),
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   113
                  		 Pawn(2,Wht,(8,1)), Pawn(3,Red,(8,8))))
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   114
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   115
//print_board(b_init)
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   116
// --------------------------------
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   117
// |PR4|PR2|PR3|PR1|KR1|PR3|PR1|PR3|
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   118
// --------------------------------
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   119
// |   |   |   |   |   |   |   |   |
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   120
// --------------------------------
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   121
// |   |   |   |   |   |   |   |   |
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   122
// --------------------------------
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   123
// |   |   |   |   |   |   |   |   |
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   124
// --------------------------------
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   125
// |   |   |   |   |   |   |   |   |
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   126
// --------------------------------
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   127
// |   |   |   |   |   |   |   |   |
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   128
// --------------------------------
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   129
// |   |   |   |   |   |   |   |   |
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   130
// --------------------------------
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   131
// |PW4|PW3|PW2|KW2|PW1|PW4|PW3|PW2|
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   132
// --------------------------------
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   133
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   134
// Moves
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   135
//=======
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   136
abstract class Move
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   137
case object U extends Move    // up
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   138
case object D extends Move    // down
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   139
case object R extends Move    // right
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   140
case object L extends Move    // left
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   141
case object RU extends Move   // first right, then possibly up
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   142
case object LU extends Move   // first left, then possibly up
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   143
case object RD extends Move   // ...
473
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   144
case object LD extends Move
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   145
case object UR extends Move
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   146
case object UL extends Move
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   147
case object DR extends Move
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   148
case object DL extends Move
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   149
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   150
//======================
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   151
// ADD YOUR CODE BELOW
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   152
//======================
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   153
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   154
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   155
// Task 1: 
473
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   156
def eval(pc: Piece, m: Move, en: Int, b: Board) : Set[Piece] = {
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   157
  val pos = pc.pos
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   158
  if (!inside(pos, b)) then Set()
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   159
  else if (en == 0) then 
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   160
    if is_occupied(pos, b) then   
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   161
      val occupant = occupied_by(pos, b)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   162
      if occupant.get != pc.col then
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   163
        Set(pc) 
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   164
      else Set()
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   165
    else Set(pc)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   166
  else if (is_occupied(pos,b)) then Set()
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   167
  else {m match {
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   168
    case U => eval(incy(pc), U, en-1, b)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   169
    case D => eval(decy(pc), D, en-1, b)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   170
    case R => eval(incx(pc), R, en-1, b)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   171
    case L => eval(decx(pc), L, en-1, b)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   172
    case RU => eval(incx(pc), RU, en-1, b) ++ eval(pc, U, en, b)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   173
    case LU => eval(decx(pc), LU, en-1, b) ++ eval(pc, U, en, b)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   174
    case RD => eval(incx(pc), RD, en-1, b) ++ eval(pc, D, en, b)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   175
    case LD => eval(decx(pc), LD, en-1, b) ++ eval(pc, D, en, b)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   176
    case UR => eval(incy(pc), UR, en-1, b) ++ eval(pc, R, en, b)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   177
    case UL => eval(incy(pc), UL, en-1, b) ++ eval(pc, L, en, b)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   178
    case DR => eval(decy(pc), DR, en-1, b) ++ eval(pc, R, en, b)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   179
    case DL => eval(decy(pc), DL, en-1, b) ++ eval(pc, L, en, b) 
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   180
  }
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   181
  }
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   182
}
473
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   183
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   184
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   185
// Task 2: 
473
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   186
def all_moves(pc: Piece, b: Board) : Set[Piece] = {
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   187
  val temporary_board = b - pc //not sure if this is
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   188
  //what was meant by changes to the board (Perth discussion on keats)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   189
  val all_possible_moves = Set(U, D, R, L, RU, LU, RD, LD, UR, UL, DR, DL)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   190
  all_possible_moves.flatMap(move => eval(pc, move, pc.en, temporary_board))
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   191
} 
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   192
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   193
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   194
// Task 3: 
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   195
def attacked(c: Colour, b: Board) : Set[Piece] = {
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   196
  val my_pieces = b.pces.filter(_.col == c)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   197
  val opponent_pieces = b.pces.filter(_.col != c)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   198
  val attacked_pieces = opponent_pieces.filter(pc => my_pieces.flatMap(p => all_moves(p, b)).exists(_.pos == pc.pos))
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   199
  attacked_pieces
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   200
}
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   201
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   202
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   203
// Task 4: 
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   204
def attackedN(pc: Piece, b: Board) : Int = {
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   205
  val opponent_pieces = b.pces.filter(_.col != pc.col)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   206
  val attacking_pieces_num = opponent_pieces.count(p => all_moves(p, b).exists(_.pos == pc.pos))
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   207
  attacking_pieces_num
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   208
}
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   209
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   210
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   211
// Task 5: 
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   212
def protectedN(pc: Piece, b: Board) : Int = {
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   213
  val temporary_board = b - pc 
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   214
  val my_pieces = b.pces.filter(_.col == pc.col)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   215
  val protecting_pieces_num = my_pieces.count(p => all_moves(p, temporary_board).exists(_.pos == pc.pos))
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   216
  protecting_pieces_num
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   217
}
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   218
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   219
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   220
// Task 6: 
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   221
def legal_moves(pc: Piece, b: Board) : Set[Piece] = {
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   222
  if is_king(pc) then 
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   223
    val all_king_moves = all_moves(pc, b)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   224
    val valid_king_moves = all_king_moves.filter{m =>
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   225
      val temporary_board = Board(b.pces.filter(_.pos != m.pos))//remove potentially captured pieces
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   226
      val updated_temp_board = temporary_board + m
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   227
      val opponent_pieces = updated_temp_board.pces.filter(_.col != pc.col)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   228
      val opponent_moves = opponent_pieces.flatMap(p => all_moves(p, updated_temp_board))
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   229
      !(opponent_moves.exists(_.pos == m.pos))}
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   230
    valid_king_moves
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   231
  else {all_moves(pc, b)}
473
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   232
}
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   233
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   234
/*
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   235
// more test cases
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   236
//=================
473
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   237
val pw1 = Pawn(4, Wht, (4,6))
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   238
val pw2 = Pawn(4, Wht, (2,4))
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   239
val pw3 = Pawn(3, Red, (6,8))
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   240
val pw4 = Pawn(2, Red, (2,8))
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   241
val bt = b_init + pw1 + pw2
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   242
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   243
print_board(bt)
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   244
println(s"Capture Red: ${attacked(Wht, bt)}")
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   245
  // => Set(Pawn(2,Red,(2,8)), Pawn(3,Red,(6,8)))
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   246
473
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   247
println(s"Capture Wht: ${attacked(Red, bt)}")
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   248
  // => Set(Pawn(4,Wht,(4,6)))
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   249
473
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   250
println(s"ProtectedN:  ${protectedN(pw3, bt)}")
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   251
  // => 2
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   252
473
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   253
println(s"AttackedN:   ${attackedN(pw4, bt)}")
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   254
  // => 2
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   255
473
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   256
println(s"all moves:   ${all_moves(pw2, bt)}")
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   257
  // => Set(Pawn(4,Wht,(4,2)), Pawn(4,Wht,(1,7)), Pawn(4,Wht,(5,3)), Pawn(4,Wht,(5,5)), 
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   258
  //        Pawn(4,Wht,(2,8)), Pawn(4,Wht,(3,7)), Pawn(4,Wht,(6,4)))
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 473
diff changeset
   259
*/
473
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   260
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   261
}
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   262
be818c5a67d4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   263