/usr/include/osl/checkmate/fixedDepthSolverExt.h is in libosl-dev 0.8.0-1.4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 | /* fixedDepthSolverExt.h
*/
#ifndef OSL_FIXEDDEPTHSOLVEREXT_H
#define OSL_FIXEDDEPTHSOLVEREXT_H
#include "osl/checkmate/fixedDepthSearcher.h"
namespace osl
{
namespace checkmate
{
class FixedDepthSolverExt : public FixedDepthSearcher
{
public:
FixedDepthSolverExt();
explicit FixedDepthSolverExt(NumEffectState& s);
/**
* stateがPから詰む局面かを返す.
* stateの手番はPと一致しているという前提
*/
template <Player P>
const ProofDisproof hasCheckmateMove(int depth, Move& best_move,
PieceStand& proof_pieces);
/**
* guide を最初に試す．
* guide.isNormal() である必要はあるが，その局面でvalid でなくても良い
*/
template <Player P>
const ProofDisproof hasCheckmateWithGuide(int depth, Move& guide,
PieceStand& proof_pieces);
/**
* stateがPによって詰んでいる局面かを返す.
* 王手がかかっていない時には呼ばない
* stateの手番はalt(P)と一致しているという前提
* stateはPによって王手がかかっているという前提
* @param last_move 打ち歩詰めの判定に必要
*/
template <Player P>
const ProofDisproof hasEscapeMove(Move last_move,int depth,
PieceStand& proof_pieces);
/**
* next_move を指して逃げられるかどうかを調べる
* @param check_move 詰の場合の攻撃側の指手
* @param depth next_move を指した後からカウント
*/
template <Player P>
const ProofDisproof hasEscapeByMove(Move next_move, int depth,
Move& check_move,
PieceStand& proof_pieces);
const ProofDisproof hasCheckmateMoveOfTurn(int depth,Move& best_move,
PieceStand& proof_pieces);
const ProofDisproof hasCheckmateWithGuideOfTurn(int depth, Move& guide,
PieceStand& proof_pieces);
const ProofDisproof hasEscapeByMoveOfTurn(Move next_move, int depth,
Move& check_move,
PieceStand& proof_pieces);
class SetProofPieces;
};
}
}
#endif /* _FIXEDDEPTHSOLVEREXT_H */
// ;;; Local Variables:
// ;;; mode:c++
// ;;; c-basic-offset:2
// ;;; End:
|