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())