/usr/include/osl/checkmate/proofPieces.h is in libosl-dev 0.6.0-3.1.
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 | /* proofPieces.h
 */
#ifndef _PROOFPIECES_H
#define _PROOFPIECES_H
#include "osl/checkmate/proofPiecesUtil.h"
#include "osl/effect_util/unblockableCheck.h"
namespace osl
{
  namespace checkmate
  {
    class CheckMoveList;
    struct ProofPieces
    {
      static const PieceStand leaf(const NumEffectState& state, 
				   Player attacker, const PieceStand max)
      {
	assert(state.turn() != attacker);
	PieceStand result;
	if (! effect_util::UnblockableCheck::isMember(alt(attacker), state))
	  ProofPiecesUtil::addMonopolizedPieces(state, attacker, max, result);
	return result;
      }
      static const PieceStand
      attack(const PieceStand prev, Move move, const PieceStand max)
      {
	assert(move.isValid());
	PieceStand result = prev;
	if (move.isDrop())
	{
	  const Ptype ptype = move.ptype();
	  if (result.get(ptype) < max.get(ptype))
	    result.add(ptype);
	}
	else 
	{
	  const Ptype captured = move.capturePtype();
	  if (isPiece(captured))
	  {
	    const Ptype ptype = unpromote(captured);
	    result.trySub(ptype);
	  }
	}
	return result;
      }
      static const PieceStand
      defense(const CheckMoveList& moves, const NumEffectState& state,
	      PieceStand max);
    };
  
  } // namespace checkmate
} // osl
#endif /* _PROOFPIECES_H */
// ;;; Local Variables:
// ;;; mode:c++
// ;;; c-basic-offset:2
// ;;; End:
 |