#include <disproofOracle.h>
Public メソッド | |
DisproofOracleAttack (const CheckHashRecord *g, const PathEncoding &p) | |
DisproofOracleAttack (const CheckHashRecord *g) | |
bool | invalidNextOracle (const CheckMove &move) const |
DisproofOracleDefense< Attacker > | makeOracle (const CheckMove &move) const |
DisproofOracleDefense< Attacker > | expandOracle (Move attack) const |
attack Ȥoracle | |
bool | isValid () const |
Public 変数 | |
const CheckHashRecord * | guide |
PathEncoding | path |
disproofOracle.h の 137 行で定義されています。
osl::checkmate::DisproofOracleAttack< Attacker >::DisproofOracleAttack | ( | const CheckHashRecord * | g, | |
const PathEncoding & | p | |||
) | [inline] |
disproofOracle.h の 141 行で定義されています。
osl::checkmate::DisproofOracleAttack< Attacker >::DisproofOracleAttack | ( | const CheckHashRecord * | g | ) | [inline] |
disproofOracle.h の 159 行で定義されています。
bool osl::checkmate::DisproofOracleAttack< Attacker >::invalidNextOracle | ( | const CheckMove & | move | ) | const [inline] |
DisproofOracleDefense<Attacker> osl::checkmate::DisproofOracleAttack< Attacker >::makeOracle | ( | const CheckMove & | move | ) | const [inline] |
DisproofOracleDefense<Attacker> osl::checkmate::DisproofOracleAttack< Attacker >::expandOracle | ( | Move | attack | ) | const [inline] |
bool osl::checkmate::DisproofOracleAttack< Attacker >::isValid | ( | ) | const [inline] |
disproofOracle.h の 264 行で定義されています。
参照元 osl::checkmate::OracleDisprover< Table >::attack(), osl::checkmate::CheckmateSearcher< Table, HEstimator, CostEstimator >::attack(), osl::checkmate::OracleDisprover< Table >::defense(), osl::checkmate::DualCheckmateSearcher< Table, HEstimator, CostEstimator >::isNotWinningStateByOracle(), と osl::checkmate::OracleDisprover< Table >::proofNoCheckmate().
const CheckHashRecord* osl::checkmate::DisproofOracleAttack< Attacker >::guide |
disproofOracle.h の 139 行で定義されています。
参照元 osl::checkmate::OracleDisprover< Table >::attack(), osl::checkmate::DisproofOracleAttack< P >::DisproofOracleAttack(), osl::checkmate::DisproofOracleAttack< P >::expandOracle(), osl::checkmate::DisproofOracleAttack< P >::invalidNextOracle(), osl::checkmate::DisproofOracleAttack< P >::isValid(), と osl::checkmate::DisproofOracleAttack< P >::makeOracle().
PathEncoding osl::checkmate::DisproofOracleAttack< Attacker >::path |