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 387 of file dfpn.cc.
References children, children_path, and proof_cost.
Referenced by osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::proofOracleAttack(), and osl::checkmate::Dfpn::proofOracleDefense().
|
inline |
Definition at line 380 of file dfpn.cc.
References children, children_path, moves, and proof_cost.
Referenced by osl::checkmate::Dfpn::hasCheckmateMove(), osl::checkmate::Dfpn::hasEscapeMove(), and osl::checkmate::Dfpn::tryProofMain().
|
inline |
Definition at line 408 of file dfpn.cc.
References children, children_path, osl::find(), and newPath().
Referenced by osl::checkmate::Dfpn::blockingSimulation(), osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::proofOracleAttack(), and osl::checkmate::Dfpn::proofOracleDefense().
|
inline |
Definition at line 402 of file dfpn.cc.
References moves, osl::checkmate::Dfpn::NodeBase::path, and osl::PathEncoding::pushMove().
Referenced by isLoop().
|
inline |
Definition at line 375 of file dfpn.cc.
References osl::PieceStand::nextStand(), osl::Move::player(), osl::WHITE, and osl::checkmate::Dfpn::NodeBase::white_stand.
Referenced by osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::grandParentSimulation(), osl::checkmate::Dfpn::proofOracleAttack(), and osl::checkmate::Dfpn::proofOracleDefense().
|
inline |
Definition at line 418 of file dfpn.cc.
References osl::checkmate::ProofPieces::attack(), osl::checkmate::Dfpn::attack(), osl::checkmate::DfpnRecordBase::best_move, children, osl::checkmate::ProofDisproof::isCheckmateSuccess(), moves, osl::checkmate::DfpnRecordBase::proof_disproof, osl::checkmate::DfpnRecord::proofPieces(), osl::checkmate::Dfpn::NodeBase::record, osl::checkmate::DfpnRecord::setProofPieces(), and osl::checkmate::DfpnRecord::stands.
Referenced by osl::checkmate::Dfpn::proofOracleAttack().
|
inline |
Definition at line 463 of file dfpn.cc.
References children, osl::PieceStand::max(), osl::eval::min(), osl::checkmate::DfpnRecordBase::min_pdp, osl::checkmate::DfpnRecordBase::proof_pieces_candidate, osl::checkmate::Dfpn::NodeBase::record, and osl::checkmate::DfpnRecordBase::solved.
Referenced by osl::checkmate::Dfpn::blockingSimulation(), osl::checkmate::Dfpn::defense(), and osl::checkmate::Dfpn::proofOracleDefense().
|
inline |
Definition at line 441 of file dfpn.cc.
References osl::checkmate::ProofPiecesUtil::addMonopolizedPieces(), osl::alt(), osl::checkmate::ProofDisproof::Checkmate(), osl::checkmate::ProofDisproof::isCheckmateSuccess(), osl::effect_util::UnblockableCheck::isMember(), moves, osl::checkmate::DfpnRecordBase::proof_disproof, osl::checkmate::DfpnRecordBase::proof_pieces_candidate, osl::checkmate::Dfpn::NodeBase::record, result, osl::checkmate::DfpnRecord::setProofPieces(), and osl::checkmate::DfpnRecord::stands.
Referenced by osl::checkmate::Dfpn::defense(), and osl::checkmate::Dfpn::proofOracleDefense().
|
inline |
Definition at line 395 of file dfpn.cc.
References osl::checkmate::ProofDisproof::isFinal(), osl::checkmate::ProofDisproof::isLoopDetection(), osl::checkmate::Dfpn::NodeBase::path, osl::checkmate::Dfpn::NodeBase::path_record, osl::checkmate::DfpnRecordBase::proof_disproof, osl::checkmate::Dfpn::NodeBase::record, and osl::checkmate::DfpnPathRecord::twin_list.
Referenced by osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::proofOracleAttack(), and osl::checkmate::Dfpn::proofOracleDefense().
|
inline |
Definition at line 453 of file dfpn.cc.
References osl::checkmate::ProofPiecesUtil::addMonopolizedPieces(), osl::alt(), osl::checkmate::ProofDisproof::isCheckmateFail(), osl::checkmate::ProofDisproof::isLoopDetection(), moves, osl::checkmate::DfpnRecordBase::proof_disproof, osl::checkmate::DfpnRecordBase::proof_pieces_candidate, osl::checkmate::Dfpn::NodeBase::record, result, osl::checkmate::DfpnRecord::setDisproofPieces(), and osl::checkmate::DfpnRecord::stands.
|
inline |
Definition at line 473 of file dfpn.cc.
References children, osl::PieceStand::max(), osl::eval::min(), osl::checkmate::DfpnRecordBase::min_pdp, osl::checkmate::DfpnRecordBase::proof_pieces_candidate, osl::checkmate::Dfpn::NodeBase::record, and osl::checkmate::DfpnRecordBase::solved.
Referenced by osl::checkmate::Dfpn::Tree::setNoCheckmateChildInAttack().
|
inline |
Definition at line 429 of file dfpn.cc.
References osl::alt(), osl::checkmate::DfpnRecordBase::best_move, children, osl::checkmate::DisproofPieces::defense(), osl::checkmate::DfpnRecord::disproofPieces(), osl::checkmate::ProofDisproof::isCheckmateFail(), osl::checkmate::ProofDisproof::isLoopDetection(), moves, osl::checkmate::DfpnRecordBase::proof_disproof, osl::checkmate::Dfpn::NodeBase::record, osl::checkmate::DfpnRecord::setDisproofPieces(), and osl::checkmate::DfpnRecord::stands.
Referenced by osl::checkmate::Dfpn::Tree::setNoCheckmateDefense().
FixedCapacityVector<DfpnRecord,DfpnMaxUniqMoves> osl::checkmate::Dfpn::Node::children |
Definition at line 369 of file dfpn.cc.
Referenced by allocate(), osl::checkmate::Dfpn::blockingSimulation(), clear(), osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::Tree::dump(), osl::checkmate::Dfpn::grandParentSimulation(), isLoop(), osl::checkmate::Dfpn::proofOracleAttack(), osl::checkmate::Dfpn::proofOracleDefense(), setCheckmateAttack(), setCheckmateChildInDefense(), setNoCheckmateChildInAttack(), and setNoCheckmateDefense().
FixedCapacityVector<const DfpnPathRecord*,DfpnMaxUniqMoves> osl::checkmate::Dfpn::Node::children_path |
Definition at line 370 of file dfpn.cc.
Referenced by allocate(), osl::checkmate::Dfpn::blockingSimulation(), clear(), osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::Tree::dump(), osl::checkmate::Dfpn::grandParentSimulation(), isLoop(), osl::checkmate::Dfpn::proofOracleAttack(), and osl::checkmate::Dfpn::proofOracleDefense().
CArray<HashKey,DfpnMaxUniqMoves> osl::checkmate::Dfpn::Node::hashes |
Definition at line 371 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 368 of file dfpn.cc.
Referenced by osl::checkmate::Dfpn::blockingSimulation(), clear(), osl::checkmate::Dfpn::defense(), osl::checkmate::Dfpn::Tree::dump(), osl::checkmate::Dfpn::grandParentSimulation(), newPath(), osl::checkmate::Dfpn::proofOracleAttack(), osl::checkmate::Dfpn::proofOracleDefense(), setCheckmateAttack(), setCheckmateDefense(), setNoCheckmateAttack(), and setNoCheckmateDefense().
FixedCapacityVector<int8_t,DfpnMaxUniqMoves> osl::checkmate::Dfpn::Node::proof_cost |
Definition at line 372 of file dfpn.cc.
Referenced by allocate(), clear(), and osl::checkmate::Dfpn::Tree::dump().
size_t osl::checkmate::Dfpn::Node::visit_time |
Definition at line 373 of file dfpn.cc.
Referenced by osl::checkmate::Dfpn::attack(), osl::checkmate::Dfpn::defense(), and osl::checkmate::Dfpn::Tree::dump().