21 os <<
"PawnCheckmate";
23 os <<
"LoopDetection";
証明数(proof number)と反証数(disproof number).
static const ProofDisproof PawnCheckmate()
static const ProofDisproof AttackBack()
static const ProofDisproof LoopDetection()
static const ProofDisproof NoEscape()
@ NO_CHECK_MATE_PROOF
証明数の定数: 反証された時には,不詰の種類の区別に利用
static const ProofDisproof NoCheckmate()
static const unsigned int BigProofNumber
unsigned int disproof() const
static void testConsistency()
unsigned int proof() const
static const ProofDisproof Checkmate()
std::ostream & operator<<(std::ostream &, King8Info)