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