Public Member Functions | |
const PieceStand | nextWhiteStand (Player P, Move move) const |
void | clear () |
void | allocate (int n) |
void | setLoopDetection () |
const PathEncoding | newPath (int c) const |
bool | isLoop (int c) const |
void | setCheckmateAttack (Player attack, int best_i) |
void | setNoCheckmateDefense (Player attack, int best_i) |
void | setCheckmateDefense (Player attack, const NumEffectState &state) |
void | setNoCheckmateAttack (Player attack, const NumEffectState &state) |
void | setCheckmateChildInDefense (size_t i) |
void | setNoCheckmateChildInAttack (size_t i) |
Public Attributes | |
DfpnMoveVector | moves |
FixedCapacityVector< DfpnRecord, DfpnMaxUniqMoves > | children |
FixedCapacityVector< const DfpnPathRecord *, DfpnMaxUniqMoves > | children_path |
CArray< HashKey, DfpnMaxUniqMoves > | hashes |
FixedCapacityVector< int8_t, DfpnMaxUniqMoves > | proof_cost |
size_t | visit_time |
![]() | |
HashKey | hash_key |
PathEncoding | path |
ProofDisproof | threshold |
Move | moved |
PieceStand | white_stand |
DfpnRecord | record |
DfpnPathRecord * | path_record |
|
inline |
Definition at line 370 of file dfpn.cc.
References osl::FixedCapacityVector< T, Capacity >::push_back().
Referenced by osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::proofOracleAttack(), and osl::checkmate::Dfpn::proofOracleDefense().
|
inline |
Definition at line 363 of file dfpn.cc.
References osl::FixedCapacityVector< T, Capacity >::clear().
Referenced by osl::checkmate::Dfpn::hasCheckmateMove(), osl::checkmate::Dfpn::hasEscapeMove(), and osl::checkmate::Dfpn::tryProofMain().
|
inline |
Definition at line 391 of file dfpn.cc.
Referenced by osl::checkmate::Dfpn::blockingSimulation(), osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::proofOracleAttack(), and osl::checkmate::Dfpn::proofOracleDefense().
|
inline |
Definition at line 385 of file dfpn.cc.
References osl::PathEncoding::pushMove().
|
inline |
Definition at line 358 of file dfpn.cc.
References osl::PieceStand::nextStand(), osl::Move::player(), and osl::WHITE.
Referenced by osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::grandParentSimulation(), osl::checkmate::Dfpn::proofOracleAttack(), and osl::checkmate::Dfpn::proofOracleDefense().
|
inline |
Definition at line 401 of file dfpn.cc.
References osl::checkmate::ProofPieces::attack(), osl::checkmate::ProofDisproof::isCheckmateSuccess(), osl::checkmate::DfpnRecordBase::proof_disproof, and osl::checkmate::DfpnRecord::proofPieces().
Referenced by osl::checkmate::Dfpn::proofOracleAttack().
|
inline |
Definition at line 446 of file dfpn.cc.
References osl::eval::min().
Referenced by osl::checkmate::Dfpn::blockingSimulation(), osl::checkmate::Dfpn::defense(), and osl::checkmate::Dfpn::proofOracleDefense().
|
inline |
Definition at line 424 of file dfpn.cc.
References osl::checkmate::ProofPiecesUtil::addMonopolizedPieces(), osl::alt(), osl::checkmate::ProofDisproof::Checkmate(), osl::NumEffectState::inUnblockableCheck(), and osl::FixedCapacityVector< T, Capacity >::size().
Referenced by osl::checkmate::Dfpn::defense(), and osl::checkmate::Dfpn::proofOracleDefense().
|
inline |
Definition at line 378 of file dfpn.cc.
Referenced by osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::proofOracleAttack(), and osl::checkmate::Dfpn::proofOracleDefense().
|
inline |
Definition at line 436 of file dfpn.cc.
References osl::checkmate::ProofPiecesUtil::addMonopolizedPieces(), osl::alt(), and osl::FixedCapacityVector< T, Capacity >::size().
|
inline |
Definition at line 456 of file dfpn.cc.
References osl::eval::min().
Referenced by osl::checkmate::Dfpn::Tree::setNoCheckmateChildInAttack().
|
inline |
Definition at line 412 of file dfpn.cc.
References osl::alt(), osl::checkmate::DisproofPieces::defense(), osl::checkmate::DfpnRecord::disproofPieces(), osl::checkmate::ProofDisproof::isCheckmateFail(), osl::checkmate::ProofDisproof::isLoopDetection(), and osl::checkmate::DfpnRecordBase::proof_disproof.
Referenced by osl::checkmate::Dfpn::Tree::setNoCheckmateDefense().
FixedCapacityVector<DfpnRecord,DfpnMaxUniqMoves> osl::checkmate::Dfpn::Node::children |
Definition at line 352 of file dfpn.cc.
Referenced by osl::checkmate::Dfpn::blockingSimulation(), osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::Tree::dump(), osl::checkmate::Dfpn::grandParentSimulation(), osl::checkmate::Dfpn::proofOracleAttack(), and osl::checkmate::Dfpn::proofOracleDefense().
FixedCapacityVector<const DfpnPathRecord*,DfpnMaxUniqMoves> osl::checkmate::Dfpn::Node::children_path |
Definition at line 353 of file dfpn.cc.
Referenced by osl::checkmate::Dfpn::blockingSimulation(), osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::Tree::dump(), osl::checkmate::Dfpn::grandParentSimulation(), osl::checkmate::Dfpn::proofOracleAttack(), and osl::checkmate::Dfpn::proofOracleDefense().
CArray<HashKey,DfpnMaxUniqMoves> osl::checkmate::Dfpn::Node::hashes |
Definition at line 354 of file dfpn.cc.
Referenced by osl::checkmate::Dfpn::blockingSimulation(), osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::grandParentSimulation(), and osl::checkmate::Dfpn::proofOracleDefense().
DfpnMoveVector osl::checkmate::Dfpn::Node::moves |
Definition at line 351 of file dfpn.cc.
Referenced by osl::checkmate::Dfpn::blockingSimulation(), osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::Tree::dump(), osl::checkmate::Dfpn::grandParentSimulation(), osl::checkmate::Dfpn::proofOracleAttack(), and osl::checkmate::Dfpn::proofOracleDefense().
FixedCapacityVector<int8_t,DfpnMaxUniqMoves> osl::checkmate::Dfpn::Node::proof_cost |
Definition at line 355 of file dfpn.cc.
Referenced by osl::checkmate::Dfpn::Tree::dump().
size_t osl::checkmate::Dfpn::Node::visit_time |
Definition at line 356 of file dfpn.cc.
Referenced by osl::checkmate::Dfpn::defense(), and osl::checkmate::Dfpn::Tree::dump().