2 #include <boost/static_assert.hpp>
9 BOOST_STATIC_ASSERT((ProofDisproof::NO_CHECK_MATE_PROOF > ProofDisproof::PAWN_CHECK_MATE_PROOF));
15 if (pdp == ProofDisproof::Checkmate())
17 else if (pdp == ProofDisproof::NoEscape())
19 else if (pdp == ProofDisproof::NoCheckmate())
21 else if (pdp == ProofDisproof::PawnCheckmate())
22 os <<
"PawnCheckmate";
23 else if (pdp == ProofDisproof::LoopDetection())
24 os <<
"LoopDetection";
25 else if (pdp == ProofDisproof::AttackBack())