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