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 
11 std::ostream& osl::checkmate::
12 operator<<(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).
Definition: proofDisproof.h:17
unsigned int disproof() const
Definition: proofDisproof.h:85
unsigned int proof() const
Definition: proofDisproof.h:84
std::ostream & operator<<(std::ostream &, King8Info)
Definition: king8Info.cc:10