(* 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:
*)