const ProofDisproof hasEscapeByMove(Move next_move, int depth)
const ProofDisproof hasCheckmateMoveOfTurn(int depth, Move &best_move)
const ProofDisproof hasEscapeByMoveOfTurn(Move next_move, int depth)
const ProofDisproof hasEscapeMove(Move last_move, int depth)
const ProofDisproof hasEscapeMoveOfTurn(Move last_move, int depth)
const ProofDisproof hasCheckmateMove(int depth, Move &best_move)
証明数(proof number)と反証数(disproof number).