My Project
proofDisproof.cc
Go to the documentation of this file.
2#include <iostream>
3
6{
7 static_assert((ProofDisproof::BigProofNumber > ProofDisproof::PAWN_CHECK_MATE_PROOF),"");
8 static_assert((ProofDisproof::NO_CHECK_MATE_PROOF > ProofDisproof::PAWN_CHECK_MATE_PROOF),"");
9}
10
11std::ostream& osl::checkmate::
12operator<<(std::ostream& os, const ProofDisproof& pdp)
13{
14 if (pdp == ProofDisproof::Checkmate())
15 os << "Checkmate";
16 else if (pdp == ProofDisproof::NoEscape())
17 os << "NoEscape";
18 else if (pdp == ProofDisproof::NoCheckmate())
19 os << "NoCheckmate";
20 else if (pdp == ProofDisproof::PawnCheckmate())
21 os << "PawnCheckmate";
22 else if (pdp == ProofDisproof::LoopDetection())
23 os << "LoopDetection";
24 else if (pdp == ProofDisproof::AttackBack())
25 os << "AttackBack";
26 else
27 os << "pdp-" << pdp.proof() << "," << pdp.disproof();
28 return os;
29}
30
31/* ------------------------------------------------------------------------- */
32// ;;; Local Variables:
33// ;;; mode:c++
34// ;;; c-basic-offset:2
35// ;;; End:
証明数(proof number)と反証数(disproof number).
unsigned int disproof() const
unsigned int proof() const
std::ostream & operator<<(std::ostream &, King8Info)
Definition king8Info.cc:10