3 #ifndef OSL_DFPNRECORD_H 4 #define OSL_DFPNRECORD_H 47 node_count(0), tried_oracle(0), min_pdp(
ProofDisproof::PROOF_MAX),
49 proof_pieces_set(
UNSET), need_full_width(false), false_branch(false)
84 || stands[
BLACK].isSuperiorOrEqualTo(a)
85 || stands[
WHITE].isSuperiorOrEqualTo(a));
93 || stands[
BLACK].isSuperiorOrEqualTo(a)
94 || stands[
WHITE].isSuperiorOrEqualTo(a));
void setDisproofPieces(PieceStand a)
const PieceStand disproofPieces() const
DfpnRecord(PieceStand black, PieceStand white)
uint64_t dag_moves
合流を引き起こす指手一覧
PieceStand proof_pieces_candidate
solved のmax
unsigned int proof() const
unsigned int tried_oracle
unsigned int disproof() const
void setProofPieces(PieceStand a)
Move last_move
合流検知+simulation中の簡易 無限ループ回避
CArray< PieceStand, 2 > stands
void setFrom(const DfpnRecordBase &src)
unsigned int proof() const
const PieceStand proofPieces() const
証明数(proof number)と反証数(disproof number).
uint64_t solved
手番に否定的に結果が判明したリスト loop は除く
ProofDisproof proof_disproof
unsigned int disproof() const