7 static_assert((ProofDisproof::BigProofNumber > ProofDisproof::PAWN_CHECK_MATE_PROOF),
"");
8 static_assert((ProofDisproof::NO_CHECK_MATE_PROOF > ProofDisproof::PAWN_CHECK_MATE_PROOF),
"");
14 if (pdp == ProofDisproof::Checkmate())
16 else if (pdp == ProofDisproof::NoEscape())
18 else if (pdp == ProofDisproof::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())
証明数(proof number)と反証数(disproof number).
unsigned int disproof() const
static void testConsistency()
unsigned int proof() const
std::ostream & operator<<(std::ostream &, King8Info)