Solver.hpp

/*
 * This file is part of Connect4 Game Solver <http://connect4.gamesolver.org>
 * Copyright (C) 2017-2019 Pascal Pons <contact@gamesolver.org>
 *
 * Connect4 Game Solver is free software: you can redistribute it and/or
 * modify it under the terms of the GNU Affero General Public License as
 * published by the Free Software Foundation, either version 3 of the
 * License, or (at your option) any later version.
 *
 * Connect4 Game Solver 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 Affero General Public License for more details.
 *
 * You should have received a copy of the GNU Affero General Public License
 * along with Connect4 Game Solver. If not, see <http://www.gnu.org/licenses/>.
 */
 
#ifndef SOLVER_HPP
#define SOLVER_HPP
 
#include <vector>
#include <string>
#include "Position.hpp"
#include "TranspositionTable.hpp"
#include "OpeningBook.hpp"
 
namespace GameSolver {
namespace Connect4 {
 
class Solver {
 private:
  static constexpr int TABLE_SIZE = 24; // store 2^TABLE_SIZE elements in the transpositiontbale
  TranspositionTable < uint_t < Position::WIDTH*(Position::HEIGHT + 1) - TABLE_SIZE >, Position::position_t, uint8_t, TABLE_SIZE > transTable;
  OpeningBook book{Position::WIDTH, Position::HEIGHT}; // opening book
  unsigned long long nodeCount; // counter of explored nodes.
  int columnOrder[Position::WIDTH]; // column exploration order

  int negamax(const Position &P, int alpha, int beta);
 
 public:
  static constexpr int INVALID_MOVE = -1000;
 
  // Returns the score of a position
  int solve(const Position &P, bool weak = false);
 
  // Returns the score off all possible moves of a position as an array.
  // Returns INVALID_MOVE for unplayable columns
  std::vector<int> analyze(const Position &P, bool weak = false);
 
  unsigned long long getNodeCount() const {
    return nodeCount;
  }
 
  void reset() {
    nodeCount = 0;
    transTable.reset();
  }
 
  void loadBook(std::string book_file) {
    book.load(book_file);
  }
 
  Solver(); // Constructor
};
 
} // namespace Connect4
} // namespace GameSolver
#endif