attack(CheckHashRecord *record, const DisproofOracleAttack< P > &oracle) | osl::checkmate::OracleDisprover< Table > | [inline] |
attacker | osl::checkmate::OracleDisprover< Table > | [private] |
confirmNoEscape(CheckHashRecord *record) | osl::checkmate::OracleDisprover< Table > | [inline, private] |
defense(CheckHashRecord *record, const DisproofOracleDefense< P > &oracle) | osl::checkmate::OracleDisprover< Table > | [inline] |
key | osl::checkmate::OracleDisprover< Table > | [private] |
node_count | osl::checkmate::OracleDisprover< Table > | [private] |
nodeCount() const | osl::checkmate::OracleDisprover< Table > | [inline] |
OracleDisprover(Table &t) | osl::checkmate::OracleDisprover< Table > | [inline, explicit] |
path | osl::checkmate::OracleDisprover< Table > | [private] |
proofEscape(state_t &state, const HashKey &key, const PathEncoding &path, const DisproofOracleDefense< Attacker > &oracle, Move &best_move, Move last_move=Move::INVALID()) | osl::checkmate::OracleDisprover< Table > | [inline] |
proofEscape(state_t &state, const PathEncoding &path, CheckHashRecord *oracle, const PathEncoding &, Move &, Move last_move=Move::INVALID()) | osl::checkmate::OracleDisprover< Table > | [inline] |
proofNoCheckmate(state_t &state, const HashKey &key, const PathEncoding &path, const DisproofOracleAttack< Attacker > &oracle) | osl::checkmate::OracleDisprover< Table > | [inline] |
proofNoCheckmate(state_t &state, const PathEncoding &path, const CheckHashRecord *oracle, const PathEncoding &) | osl::checkmate::OracleDisprover< Table > | [inline] |
state | osl::checkmate::OracleDisprover< Table > | [private] |
state_t typedef | osl::checkmate::OracleDisprover< Table > | |
table | osl::checkmate::OracleDisprover< Table > | [private] |