git.sesse.net Git - stockfish/blob - src/position.h

   1 /*
   2   Stockfish, a UCI chess playing engine derived from Glaurung 2.1
   3   Copyright (C) 2004-2008 Tord Romstad (Glaurung author)
   4   Copyright (C) 2008-2010 Marco Costalba, Joona Kiiski, Tord Romstad
   5
   6   Stockfish is free software: you can redistribute it and/or modify
   7   it under the terms of the GNU General Public License as published by
   8   the Free Software Foundation, either version 3 of the License, or
   9   (at your option) any later version.
  10
  11   Stockfish is distributed in the hope that it will be useful,
  12   but WITHOUT ANY WARRANTY; without even the implied warranty of
  13   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14   GNU General Public License for more details.
  15
  16   You should have received a copy of the GNU General Public License
  17   along with this program.  If not, see <http://www.gnu.org/licenses/>.
  18 */
  19
  20 #if !defined(POSITION_H_INCLUDED)
  21 #define POSITION_H_INCLUDED
  22
  23 #include <cassert>
  24
  25 #include "bitboard.h"
  26 #include "move.h"
  27 #include "types.h"
  28
  29 /// Maximum number of plies per game (220 should be enough, because the
  30 /// maximum search depth is 100, and during position setup we reset the
  31 /// move counter for every non-reversible move).
  32 const int MaxGameLength = 220;
  33
  34 class Position;
  35
  36 /// struct checkInfo is initialized at c'tor time and keeps
  37 /// info used to detect if a move gives check.
  38
  39 struct CheckInfo {
  40
  41     explicit CheckInfo(const Position&);
  42
  43     Bitboard dcCandidates;
  44     Bitboard pinned;
  45     Bitboard checkSq[8];
  46 };
  47
  48 /// Castle rights, encoded as bit fields
  49
  50 enum CastleRight {
  51   CASTLES_NONE = 0,
  52   WHITE_OO     = 1,
  53   BLACK_OO     = 2,
  54   WHITE_OOO    = 4,
  55   BLACK_OOO    = 8,
  56   ALL_CASTLES  = 15
  57 };
  58
  59 /// Game phase
  60 enum Phase {
  61   PHASE_ENDGAME = 0,
  62   PHASE_MIDGAME = 128
  63 };
  64
  65
  66 /// The StateInfo struct stores information we need to restore a Position
  67 /// object to its previous state when we retract a move. Whenever a move
  68 /// is made on the board (by calling Position::do_move), an StateInfo object
  69 /// must be passed as a parameter.
  70
  71 struct StateInfo {
  72   Key pawnKey, materialKey;
  73   int castleRights, rule50, gamePly, pliesFromNull;
  74   Square epSquare;
  75   Score value;
  76   Value npMaterial[2];
  77
  78   PieceType capturedType;
  79   Key key;
  80   Bitboard checkersBB;
  81   StateInfo* previous;
  82 };
  83
  84
  85 /// The position data structure. A position consists of the following data:
  86 ///
  87 ///    * For each piece type, a bitboard representing the squares occupied
  88 ///      by pieces of that type.
  89 ///    * For each color, a bitboard representing the squares occupied by
  90 ///      pieces of that color.
  91 ///    * A bitboard of all occupied squares.
  92 ///    * A bitboard of all checking pieces.
  93 ///    * A 64-entry array of pieces, indexed by the squares of the board.
  94 ///    * The current side to move.
  95 ///    * Information about the castling rights for both sides.
  96 ///    * The initial files of the kings and both pairs of rooks. This is
  97 ///      used to implement the Chess960 castling rules.
  98 ///    * The en passant square (which is SQ_NONE if no en passant capture is
  99 ///      possible).
 100 ///    * The squares of the kings for both sides.
 101 ///    * Hash keys for the position itself, the current pawn structure, and
 102 ///      the current material situation.
 103 ///    * Hash keys for all previous positions in the game for detecting
 104 ///      repetition draws.
 105 ///    * A counter for detecting 50 move rule draws.
 106
 107 class Position {
 108
 109   Position(); // No default or copy c'tor allowed
 110   Position(const Position& pos);
 111
 112 public:
 113   enum GamePhase {
 114       MidGame,
 115       EndGame
 116   };
 117
 118   // Constructors
 119   Position(const Position& pos, int threadID);
 120   Position(const std::string& fen, bool isChess960, int threadID);
 121
 122   // Text input/output
 123   void from_fen(const std::string& fen, bool isChess960);
 124   const std::string to_fen() const;
 125   void print(Move m = MOVE_NONE) const;
 126
 127   // Copying
 128   void flip();
 129
 130   // The piece on a given square
 131   Piece piece_on(Square s) const;
 132   bool square_is_empty(Square s) const;
 133
 134   // Side to move
 135   Color side_to_move() const;
 136
 137   // Bitboard representation of the position
 138   Bitboard empty_squares() const;
 139   Bitboard occupied_squares() const;
 140   Bitboard pieces(Color c) const;
 141   Bitboard pieces(PieceType pt) const;
 142   Bitboard pieces(PieceType pt, Color c) const;
 143   Bitboard pieces(PieceType pt1, PieceType pt2) const;
 144   Bitboard pieces(PieceType pt1, PieceType pt2, Color c) const;
 145
 146   // Number of pieces of each color and type
 147   int piece_count(Color c, PieceType pt) const;
 148
 149   // The en passant square
 150   Square ep_square() const;
 151
 152   // Current king position for each color
 153   Square king_square(Color c) const;
 154
 155   // Castling rights
 156   bool can_castle(CastleRight f) const;
 157   bool can_castle(Color c) const;
 158   Square castle_rook_square(CastleRight f) const;
 159
 160   // Bitboards for pinned pieces and discovered check candidates
 161   Bitboard discovered_check_candidates(Color c) const;
 162   Bitboard pinned_pieces(Color c) const;
 163
 164   // Checking pieces and under check information
 165   Bitboard checkers() const;
 166   bool in_check() const;
 167
 168   // Piece lists
 169   Square piece_list(Color c, PieceType pt, int index) const;
 170   const Square* piece_list_begin(Color c, PieceType pt) const;
 171
 172   // Information about attacks to or from a given square
 173   Bitboard attackers_to(Square s) const;
 174   Bitboard attackers_to(Square s, Bitboard occ) const;
 175   Bitboard attacks_from(Piece p, Square s) const;
 176   static Bitboard attacks_from(Piece p, Square s, Bitboard occ);
 177   template<PieceType> Bitboard attacks_from(Square s) const;
 178   template<PieceType> Bitboard attacks_from(Square s, Color c) const;
 179
 180   // Properties of moves
 181   bool pl_move_is_legal(Move m, Bitboard pinned) const;
 182   bool move_is_pl(const Move m) const;
 183   bool move_gives_check(Move m, const CheckInfo& ci) const;
 184   bool move_is_capture(Move m) const;
 185   bool move_is_capture_or_promotion(Move m) const;
 186   bool move_is_passed_pawn_push(Move m) const;
 187   bool move_attacks_square(Move m, Square s) const;
 188
 189   // Piece captured with previous moves
 190   PieceType captured_piece_type() const;
 191
 192   // Information about pawns
 193   bool pawn_is_passed(Color c, Square s) const;
 194
 195   // Weak squares
 196   bool square_is_weak(Square s, Color c) const;
 197
 198   // Doing and undoing moves
 199   void do_setup_move(Move m);
 200   void do_move(Move m, StateInfo& st);
 201   void do_move(Move m, StateInfo& st, const CheckInfo& ci, bool moveIsCheck);
 202   void undo_move(Move m);
 203   void do_null_move(StateInfo& st);
 204   void undo_null_move();
 205
 206   // Static exchange evaluation
 207   int see(Move m) const;
 208   int see_sign(Move m) const;
 209
 210   // Accessing hash keys
 211   Key get_key() const;
 212   Key get_exclusion_key() const;
 213   Key get_pawn_key() const;
 214   Key get_material_key() const;
 215
 216   // Incremental evaluation
 217   Score value() const;
 218   Value non_pawn_material(Color c) const;
 219   static Score pst_delta(Piece piece, Square from, Square to);
 220
 221   // Game termination checks
 222   bool is_mate() const;
 223   template<bool SkipRepetition> bool is_draw() const;
 224
 225   // Number of plies from starting position
 226   int full_moves() const;
 227
 228   // Other properties of the position
 229   bool opposite_colored_bishops() const;
 230   bool has_pawn_on_7th(Color c) const;
 231   bool is_chess960() const;
 232
 233   // Current thread ID searching on the position
 234   int thread() const;
 235
 236   int64_t nodes_searched() const;
 237   void set_nodes_searched(int64_t n);
 238
 239   // Position consistency check, for debugging
 240   bool is_ok(int* failedStep = NULL) const;
 241
 242   // Global initialization
 243   static void init();
 244
 245 private:
 246
 247   // Initialization helper functions (used while setting up a position)
 248   void clear();
 249   void detach();
 250   void put_piece(Piece p, Square s);
 251   void set_castle(int f, Square ksq, Square rsq);
 252   void set_castling_rights(char token);
 253   bool move_is_pl_slow(const Move m) const;
 254
 255   // Helper functions for doing and undoing moves
 256   void do_capture_move(Key& key, PieceType capture, Color them, Square to, bool ep);
 257   void do_castle_move(Move m);
 258   void undo_castle_move(Move m);
 259   void find_checkers();
 260
 261   template<bool FindPinned>
 262   Bitboard hidden_checkers(Color c) const;
 263
 264   // Computing hash keys from scratch (for initialization and debugging)
 265   Key compute_key() const;
 266   Key compute_pawn_key() const;
 267   Key compute_material_key() const;
 268
 269   // Computing incremental evaluation scores and material counts
 270   static Score pst(Piece p, Square s);
 271   Score compute_value() const;
 272   Value compute_non_pawn_material(Color c) const;
 273
 274   // Board
 275   Piece board[64];
 276
 277   // Bitboards
 278   Bitboard byTypeBB[8], byColorBB[2];
 279
 280   // Piece counts
 281   int pieceCount[2][8]; // [color][pieceType]
 282
 283   // Piece lists
 284   Square pieceList[2][8][16]; // [color][pieceType][index]
 285   int index[64]; // [square]
 286
 287   // Other info
 288   Color sideToMove;
 289   Key history[MaxGameLength];
 290   int castleRightsMask[64];
 291   Square castleRookSquare[16]; // [CastleRights]
 292   StateInfo startState;
 293   bool chess960;
 294   int fullMoves;
 295   int threadID;
 296   int64_t nodes;
 297   StateInfo* st;
 298
 299   // Static variables
 300   static Key zobrist[2][8][64];
 301   static Key zobEp[64];
 302   static Key zobCastle[16];
 303   static Key zobSideToMove;
 304   static Score PieceSquareTable[16][64];
 305   static Key zobExclusion;
 306 };
 307
 308 inline int64_t Position::nodes_searched() const {
 309   return nodes;
 310 }
 311
 312 inline void Position::set_nodes_searched(int64_t n) {
 313   nodes = n;
 314 }
 315
 316 inline Piece Position::piece_on(Square s) const {
 317   return board[s];
 318 }
 319
 320 inline bool Position::square_is_empty(Square s) const {
 321   return piece_on(s) == PIECE_NONE;
 322 }
 323
 324 inline Color Position::side_to_move() const {
 325   return sideToMove;
 326 }
 327
 328 inline Bitboard Position::occupied_squares() const {
 329   return byTypeBB[0];
 330 }
 331
 332 inline Bitboard Position::empty_squares() const {
 333   return ~occupied_squares();
 334 }
 335
 336 inline Bitboard Position::pieces(Color c) const {
 337   return byColorBB[c];
 338 }
 339
 340 inline Bitboard Position::pieces(PieceType pt) const {
 341   return byTypeBB[pt];
 342 }
 343
 344 inline Bitboard Position::pieces(PieceType pt, Color c) const {
 345   return byTypeBB[pt] & byColorBB[c];
 346 }
 347
 348 inline Bitboard Position::pieces(PieceType pt1, PieceType pt2) const {
 349   return byTypeBB[pt1] | byTypeBB[pt2];
 350 }
 351
 352 inline Bitboard Position::pieces(PieceType pt1, PieceType pt2, Color c) const {
 353   return (byTypeBB[pt1] | byTypeBB[pt2]) & byColorBB[c];
 354 }
 355
 356 inline int Position::piece_count(Color c, PieceType pt) const {
 357   return pieceCount[c][pt];
 358 }
 359
 360 inline Square Position::piece_list(Color c, PieceType pt, int idx) const {
 361   return pieceList[c][pt][idx];
 362 }
 363
 364 inline const Square* Position::piece_list_begin(Color c, PieceType pt) const {
 365   return pieceList[c][pt];
 366 }
 367
 368 inline Square Position::ep_square() const {
 369   return st->epSquare;
 370 }
 371
 372 inline Square Position::king_square(Color c) const {
 373   return pieceList[c][KING][0];
 374 }
 375
 376 inline bool Position::can_castle(CastleRight f) const {
 377   return st->castleRights & f;
 378 }
 379
 380 inline bool Position::can_castle(Color c) const {
 381   return st->castleRights & ((WHITE_OO | WHITE_OOO) << c);
 382 }
 383
 384 inline Square Position::castle_rook_square(CastleRight f) const {
 385   return castleRookSquare[f];
 386 }
 387
 388 template<>
 389 inline Bitboard Position::attacks_from<PAWN>(Square s, Color c) const {
 390   return StepAttacksBB[make_piece(c, PAWN)][s];
 391 }
 392
 393 template<PieceType Piece> // Knight and King and white pawns
 394 inline Bitboard Position::attacks_from(Square s) const {
 395   return StepAttacksBB[Piece][s];
 396 }
 397
 398 template<>
 399 inline Bitboard Position::attacks_from<BISHOP>(Square s) const {
 400   return bishop_attacks_bb(s, occupied_squares());
 401 }
 402
 403 template<>
 404 inline Bitboard Position::attacks_from<ROOK>(Square s) const {
 405   return rook_attacks_bb(s, occupied_squares());
 406 }
 407
 408 template<>
 409 inline Bitboard Position::attacks_from<QUEEN>(Square s) const {
 410   return attacks_from<ROOK>(s) | attacks_from<BISHOP>(s);
 411 }
 412
 413 inline Bitboard Position::checkers() const {
 414   return st->checkersBB;
 415 }
 416
 417 inline bool Position::in_check() const {
 418   return st->checkersBB != EmptyBoardBB;
 419 }
 420
 421 inline bool Position::pawn_is_passed(Color c, Square s) const {
 422   return !(pieces(PAWN, opposite_color(c)) & passed_pawn_mask(c, s));
 423 }
 424
 425 inline bool Position::square_is_weak(Square s, Color c) const {
 426   return !(pieces(PAWN, opposite_color(c)) & attack_span_mask(c, s));
 427 }
 428
 429 inline Key Position::get_key() const {
 430   return st->key;
 431 }
 432
 433 inline Key Position::get_exclusion_key() const {
 434   return st->key ^ zobExclusion;
 435 }
 436
 437 inline Key Position::get_pawn_key() const {
 438   return st->pawnKey;
 439 }
 440
 441 inline Key Position::get_material_key() const {
 442   return st->materialKey;
 443 }
 444
 445 inline Score Position::pst(Piece p, Square s) {
 446   return PieceSquareTable[p][s];
 447 }
 448
 449 inline Score Position::pst_delta(Piece piece, Square from, Square to) {
 450   return PieceSquareTable[piece][to] - PieceSquareTable[piece][from];
 451 }
 452
 453 inline Score Position::value() const {
 454   return st->value;
 455 }
 456
 457 inline Value Position::non_pawn_material(Color c) const {
 458   return st->npMaterial[c];
 459 }
 460
 461 inline bool Position::move_is_passed_pawn_push(Move m) const {
 462
 463   Color c = side_to_move();
 464   return   piece_on(move_from(m)) == make_piece(c, PAWN)
 465         && pawn_is_passed(c, move_to(m));
 466 }
 467
 468 inline int Position::full_moves() const {
 469   return fullMoves;
 470 }
 471
 472 inline bool Position::opposite_colored_bishops() const {
 473
 474   return   piece_count(WHITE, BISHOP) == 1 && piece_count(BLACK, BISHOP) == 1
 475         && opposite_color_squares(piece_list(WHITE, BISHOP, 0), piece_list(BLACK, BISHOP, 0));
 476 }
 477
 478 inline bool Position::has_pawn_on_7th(Color c) const {
 479   return pieces(PAWN, c) & rank_bb(relative_rank(c, RANK_7));
 480 }
 481
 482 inline bool Position::is_chess960() const {
 483   return chess960;
 484 }
 485
 486 inline bool Position::move_is_capture_or_promotion(Move m) const {
 487
 488   assert(m != MOVE_NONE && m != MOVE_NULL);
 489   return move_is_special(m) ? !move_is_castle(m) : !square_is_empty(move_to(m));
 490 }
 491
 492 inline bool Position::move_is_capture(Move m) const {
 493
 494   assert(m != MOVE_NONE && m != MOVE_NULL);
 495
 496   // Note that castle is coded as "king captures the rook"
 497   return (!square_is_empty(move_to(m)) && !move_is_castle(m)) || move_is_ep(m);
 498 }
 499
 500 inline PieceType Position::captured_piece_type() const {
 501   return st->capturedType;
 502 }
 503
 504 inline int Position::thread() const {
 505   return threadID;
 506 }
 507
 508 #endif // !defined(POSITION_H_INCLUDED)