(* Copyright (C) 2010 Free Software Foundation, Inc. *)
(* This file is part of GNU Modula-2.

GNU Modula-2 is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License as published by the Free
Software Foundation; either version 2, or (at your option) any later
version.

GNU Modula-2 is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.

You should have received a copy of the GNU General Public License along
with gm2; see the file COPYING.  If not, write to the Free Software
Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. *)

MODULE testlarge ;

FROM STextIO IMPORT WriteString, WriteLn, WriteChar, ReadToken, SkipLine ;
FROM SWholeIO IMPORT WriteCard, WriteInt ;
FROM Strings IMPORT Length ;
FROM Selective IMPORT Timeval, GetTimeOfDay, GetTime, InitTime, KillTime ;
FROM WholeStr IMPORT StrToCard, ConvResults ;
FROM SYSTEM IMPORT CARDINAL8 ;

CONST
   TwoPlayer      =            TRUE ;
   FourPlayer     =           FALSE ;
   BoardX         =              16 ;
   BoardY         =              16 ;
   BoardSize      = BoardX * BoardY ;
   Pieces         =              19 ;   (* total pieces per player on the board  *)
   PieceHeap      =            4000 ;   (* maximum moves we will examine per ply *)
   MaxScore       =          100000 ;
   MinScore       =         -100000 ;
   WinScore       =        MaxScore ;
   LooseScore     =       -WinScore ;
   Debugging      =           FALSE ;
   Thinking       =              10 ;   (* how many seconds can the program think? *)
   slowEvaluation =           FALSE ;
   HomeWeight     =          BoardX ;

TYPE
   Squares = [0..BoardSize-1] ;
   SoS     = SET OF Squares ;
   Colour  = (Blue, Red, Green, White) ;

   Board = RECORD
              used  : SoS ;   (* is the square used at all? *)
              colour: ARRAY [0..1] OF SoS ;   (* if so which colour occupies the square? *)
              pieces: ARRAY [MIN(Colour)..MAX(Colour)] OF ARRAY [1..Pieces] OF CARDINAL8 ;
              home  : ARRAY [MIN(Colour)..MAX(Colour)] OF CARDINAL ;
           END ;


VAR
   homeBase: ARRAY [MIN(Colour)..MAX(Colour)] OF SoS ;


(*
   +-----------------------------------------------------------------+
   | 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 |
   |                                                                 |
   | 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 |
   |                                                                 |
   | 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 |
   |                                                                 |
   | 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 |
   |                                                                 |
   | 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 |
   |                                                                 |
   | 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 |
   |                                                                 |
   | 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 |
   |                                                                 |
   | 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 |
   |                                                                 |
   | 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 |
   |                                                                 |
   |  96  97  98  99 100 101 102 103 104 105 106 107 108 109 110 111 |
   |                                                                 |
   |  80  81  82  83  84  85  86  87  88  89  90  91  92  93  94  95 |
   |                                                                 |
   |  64  65  66  67  68  69  70  71  72  73  74  75  76  77  78  79 |
   |---------                                                        |
   |  48  49 \50  51  52  53  54  55  56  57  58  59  60  61  62  63 |
   |           \                                                     |
   |  32  33  34 \35  36  37  38  39  40  41  42  43  44  45  46  47 |
   |               \                                                 |
   |  16  17  18  19| 20  21  22  23  24  25  26  27  28  29  30  31 |
   |                |                                                |
   |   0   1   2   3|  4   5   6   7   8   9  10  11  12  13  14  15 |
   +-----------------------------------------------------------------+
*)


(*
   stop - 
*)

PROCEDURE stop ;
BEGIN
END stop ;


(*
   Min - 
*)

PROCEDURE Min (a, b: INTEGER) : INTEGER ;
BEGIN
   IF a<b
   THEN
      RETURN( a )
   ELSE
      RETURN( b )
   END
END Min ;


(*
   assert - 
*)

PROCEDURE assert (b: BOOLEAN) ;
BEGIN
   IF NOT b
   THEN
      WriteString('assert failed') ; WriteLn ;
      HALT
   END
END assert ;


(*
   isUsed - return whether a square, p, is in use on board, b.
*)

PROCEDURE isUsed (VAR b: Board; p: CARDINAL) : BOOLEAN ;
BEGIN
   RETURN p IN b.used
END isUsed ;
   

(*
   isColour - return TRUE if a square, p, is used and contains a
              piece of colour, c.
*)

PROCEDURE isColour (VAR b: Board; p: CARDINAL; c: Colour) : BOOLEAN ;
BEGIN
   WITH b DO
      IF p IN used
      THEN
         CASE c OF

         Blue:  RETURN (NOT (p IN colour[0])) AND (NOT (p IN colour[1])) |
         Red :  RETURN (p IN colour[0]) AND (NOT (p IN colour[1])) |
         Green: RETURN (NOT (p IN colour[0])) AND (p IN colour[1]) |
         White: RETURN (p IN colour[0]) AND (p IN colour[1])

         END
      END
   END ;
   RETURN( FALSE )
END isColour ;


(*
   addPiece - adds a piece, pos, of colour, c, to the board, b.
*)

PROCEDURE addPiece (VAR b: Board; pos: CARDINAL; c: Colour; piece: CARDINAL) ;
BEGIN
   WITH b DO
      INCL(used, pos) ;
      CASE c OF

      Blue:  EXCL(colour[0], pos) ;
             EXCL(colour[1], pos) |
      Red :  INCL(colour[0], pos) ;
             EXCL(colour[1], pos) |
      Green: EXCL(colour[0], pos) ;
             INCL(colour[1], pos) |
      White: INCL(colour[0], pos) ;
             INCL(colour[1], pos)

      END ;
      pieces[c][piece] := pos ;
      IF pos IN homeBase[c]
      THEN
         stop ;
         INC(home[c])
      END
   END
END addPiece ;


(*
   initBoard - 
*)

PROCEDURE initBoard (VAR b: Board) ;
BEGIN
   b.used := SoS {} ;
   b.colour[0] := SoS {} ;
   b.colour[1] := SoS {} ;
   b.home[Blue] := 0 ;
   b.home[Red] := 0 ;
   b.home[Green] := 0 ;
   b.home[White] := 0 ;
   IF TwoPlayer OR FourPlayer
   THEN
      (* red *)
      addPiece(b,  0, Red, 1) ;
      addPiece(b,  1, Red, 2) ;
      addPiece(b,  2, Red, 3) ;
      addPiece(b,  3, Red, 4) ;
      addPiece(b, 16, Red, 5) ;
      addPiece(b, 17, Red, 6) ;
      addPiece(b, 18, Red, 7) ;
      addPiece(b, 19, Red, 8) ;
      addPiece(b, 32, Red, 9) ;
      addPiece(b, 33, Red, 10) ;
      addPiece(b, 34, Red, 11) ;
      addPiece(b, 48, Red, 12) ;
      addPiece(b, 49, Red, 13) ;

      homeBase[Blue] := SoS{0, 1, 2, 3,
                            16, 17, 18, 19,
                            32, 33, 34,
                            48, 49} ;

      (* blue *)
      addPiece(b, 255-0, Blue, 1) ;
      addPiece(b, 255-1, Blue, 2) ;
      addPiece(b, 255-2, Blue, 3) ;
      addPiece(b, 255-3, Blue, 4) ;
      addPiece(b, 255-16, Blue, 5) ;
      addPiece(b, 255-17, Blue, 6) ;
      addPiece(b, 255-18, Blue, 7) ;
      addPiece(b, 255-19, Blue, 8) ;
      addPiece(b, 255-32, Blue, 9) ;
      addPiece(b, 255-33, Blue, 10) ;
      addPiece(b, 255-34, Blue, 11) ;
      addPiece(b, 255-48, Blue, 12) ;
      addPiece(b, 255-49, Blue, 13) ;

      homeBase[Red] := SoS{255-0, 255-1, 255-2, 255-3,
                           255-16, 255-17, 255-18, 255-19,
                           255-32, 255-33, 255-34,
                           255-48, 255-49}
   END ;
   IF TwoPlayer
   THEN
      (* red *)
      addPiece(b,  4, Red, 14) ;
      addPiece(b, 20, Red, 15) ;
      addPiece(b, 35, Red, 16) ;
      addPiece(b, 50, Red, 17) ;
      addPiece(b, 65, Red, 18) ;
      addPiece(b, 64, Red, 19) ;
      homeBase[Blue] := homeBase[Blue] + SoS{4, 20, 35, 50, 65, 64} ;

      (* blue *)
      addPiece(b, 255-4, Blue, 14) ;
      addPiece(b, 255-20, Blue, 15) ;
      addPiece(b, 255-35, Blue, 16) ;
      addPiece(b, 255-50, Blue, 17) ;
      addPiece(b, 255-65, Blue, 18) ;
      addPiece(b, 255-64, Blue, 19) ;

      homeBase[Red] := homeBase[Red] + SoS{255-4, 255-20, 255-35, 255-50, 255-65, 255-64}
   END ;
   assert(b.home[Blue] = 0) ;
   assert(b.home[Red] = 0) ;
   assert(b.home[Green] = 0) ;
   assert(b.home[White] = 0)
END initBoard ;


VAR
   b: Board ;
BEGIN
   initBoard(b)
END testlarge.
(*
 * Local variables:
 *  compile-command: "gm2 -g -fiso testlarge.mod"
 * End:
 *)