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