#include <dfpnRecord.h>
Public 型 | |
enum | ProofPiecesType { UNSET = 0, PROOF, DISPROOF } |
Public メソッド | |
DfpnRecordBase () | |
Public 変数 | |
ProofDisproof | proof_disproof |
uint64_t | solved |
手番に否定的に結果が判明したリスト loop は除く | |
uint64_t | dag_moves |
合流を引き起こす指手一覧 | |
Move | best_move |
PieceStand | proof_pieces |
unsigned int | node_count |
unsigned int | tried_oracle |
Move | last_move |
合流検知+simulation中の簡易 無限ループ回避 | |
PieceStand | proof_pieces_candidate |
solved のmax | |
unsigned int | min_pdp |
uint32_t | working_threads |
Square | last_to |
int8_t | proof_pieces_set |
char | need_full_width |
char | false_branch |
bool | dag_terminal |
dfpnRecord.h の 15 行で定義されています。
dfpnRecord.h の 35 行で定義されています。
osl::checkmate::DfpnRecordBase::DfpnRecordBase | ( | ) | [inline] |
dfpnRecord.h の 42 行で定義されています。
dfpnRecord.h の 24 行で定義されています。
参照元 osl::checkmate::Dfpn::analyze(), osl::checkmate::Dfpn::attack(), osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::Tree::dump(), osl::checkmate::Dfpn::hasCheckmateMove(), osl::checkmate::ProofTreeDepthDfpn::orNode(), osl::checkmate::Dfpn::proofOracleAttack(), osl::checkmate::Dfpn::Node::setCheckmateAttack(), osl::checkmate::Dfpn::Node::setNoCheckmateDefense(), osl::checkmate::DfpnTable::List::showProofOracles(), と osl::checkmate::Dfpn::tryProofMain().
dfpnRecord.h の 39 行で定義されています。
参照元 osl::checkmate::Dfpn::findDagSource(), と osl::checkmate::DfpnRecord::setFrom().
合流検知+simulation中の簡易 無限ループ回避
dfpnRecord.h の 29 行で定義されています。
参照元 osl::checkmate::Dfpn::attack(), osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::findDagSource(), osl::checkmate::DfpnTable::List::findProofOracle(), osl::checkmate::Dfpn::proofOracleAttack(), osl::checkmate::Dfpn::proofOracleDefense(), osl::checkmate::DfpnRecord::setFrom(), osl::checkmate::DfpnTable::List::showProofOracles(), と osl::checkmate::Dfpn::tryProofMain().
unsigned int osl::checkmate::DfpnRecordBase::min_pdp |
dfpnRecord.h の 32 行で定義されています。
参照元 osl::checkmate::DfpnTable::List::addDag(), osl::checkmate::Dfpn::attack(), osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::proofOracleDefense(), osl::checkmate::Dfpn::Node::setCheckmateChildInDefense(), osl::checkmate::Dfpn::Node::setNoCheckmateChildInAttack(), と osl::checkmate::DfpnTable::List::store().
unsigned int osl::checkmate::DfpnRecordBase::node_count [mutable] |
dfpnRecord.h の 26 行で定義されています。
参照元 osl::checkmate::Dfpn::analyze(), osl::checkmate::Dfpn::attack(), osl::checkmate::Dfpn::defense(), osl::checkmate::DfpnTable::List::estimateNodeCount(), osl::checkmate::DfpnTable::List::findProofOracle(), osl::checkmate::Dfpn::proofOracleAttack(), osl::checkmate::Dfpn::proofOracleDefense(), osl::checkmate::DfpnRecord::setFrom(), と osl::checkmate::DfpnTable::List::showProofOracles().
dfpnRecord.h の 17 行で定義されています。
参照元 osl::checkmate::DfpnTable::addDag(), osl::checkmate::Dfpn::analyze(), osl::checkmate::Dfpn::attack(), osl::checkmate::Dfpn::blockingSimulation(), osl::checkmate::Dfpn::defense(), osl::checkmate::DfpnRecord::disproof(), osl::checkmate::Dfpn::Tree::dump(), osl::checkmate::DfpnTable::List::findProofOracle(), osl::checkmate::Dfpn::grandParentSimulation(), osl::checkmate::Dfpn::hasCheckmateMove(), osl::checkmate::Dfpn::hasEscapeMove(), osl::checkmate::ProofTreeDepthDfpn::orNode(), osl::checkmate::DfpnTable::List::probe(), osl::checkmate::DfpnRecord::proof(), osl::checkmate::Dfpn::proofOracleAttack(), osl::checkmate::Dfpn::proofOracleDefense(), osl::checkmate::Dfpn::Node::setCheckmateAttack(), osl::checkmate::Dfpn::Node::setCheckmateDefense(), osl::checkmate::Dfpn::Node::setLoopDetection(), osl::checkmate::Dfpn::Node::setNoCheckmateAttack(), osl::checkmate::Dfpn::Node::setNoCheckmateDefense(), osl::checkmate::DfpnTable::List::showProofOracles(), osl::checkmate::DfpnTable::store(), osl::checkmate::DfpnTable::List::store(), osl::checkmate::DfpnTable::List::testTable(), と osl::checkmate::Dfpn::tryProofMain().
solved のmax
dfpnRecord.h の 31 行で定義されています。
参照元 osl::checkmate::DfpnTable::List::addDag(), osl::checkmate::Dfpn::Node::setCheckmateChildInDefense(), osl::checkmate::Dfpn::Node::setCheckmateDefense(), osl::checkmate::Dfpn::Node::setNoCheckmateAttack(), osl::checkmate::Dfpn::Node::setNoCheckmateChildInAttack(), と osl::checkmate::DfpnTable::List::store().
手番に否定的に結果が判明したリスト loop は除く
dfpnRecord.h の 19 行で定義されています。
参照元 osl::checkmate::DfpnTable::List::addDag(), osl::checkmate::Dfpn::attack(), osl::checkmate::Dfpn::blockingSimulation(), osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::Tree::dump(), osl::checkmate::Dfpn::grandParentSimulation(), osl::checkmate::Dfpn::proofOracleDefense(), osl::checkmate::Dfpn::Node::setCheckmateChildInDefense(), osl::checkmate::DfpnRecord::setFrom(), osl::checkmate::Dfpn::Node::setNoCheckmateChildInAttack(), osl::checkmate::DfpnTable::List::store(), と osl::checkmate::DfpnTable::List::testTable().
unsigned int osl::checkmate::DfpnRecordBase::tried_oracle |
dfpnRecord.h の 27 行で定義されています。
dfpnRecord.h の 33 行で定義されています。
参照元 osl::checkmate::DfpnTable::List::addDag(), osl::checkmate::Dfpn::attack(), osl::checkmate::Dfpn::defense(), osl::checkmate::DfpnTable::List::leaveWorking(), osl::checkmate::DfpnTable::List::setWorking(), osl::checkmate::DfpnTable::List::store(), と osl::checkmate::DfpnTable::List::testTable().