attack(CheckHashRecord *record, ProofOracleAttack< P > oracle) | osl::checkmate::OracleProver< Table > | [inline] |
attacker | osl::checkmate::OracleProver< Table > | [private] |
defense(CheckHashRecord *record, ProofOracleDefense< P > oracle) | osl::checkmate::OracleProver< Table > | [inline] |
fixed_searcher | osl::checkmate::OracleProver< Table > | [private] |
key | osl::checkmate::OracleProver< Table > | [private] |
node_count | osl::checkmate::OracleProver< Table > | [private] |
nodeCount() const | osl::checkmate::OracleProver< Table > | [inline] |
OracleProver(Table &t) | osl::checkmate::OracleProver< Table > | [inline, explicit] |
path | osl::checkmate::OracleProver< Table > | [private] |
proofLose(state_t &state, const HashKey &key, const PathEncoding &path, ProofOracleDefense< Attacker > oracle, Move last_move=Move::INVALID()) | osl::checkmate::OracleProver< Table > | [inline] |
proofLose(state_t &state, const PathEncoding &path, const CheckHashRecord *oracle, Move last_move=Move::INVALID()) | osl::checkmate::OracleProver< Table > | [inline] |
proofWin(state_t &state, const HashKey &key, const PathEncoding &path, ProofOracleAttack< Attacker > oracle, Move &best_move) | osl::checkmate::OracleProver< Table > | [inline] |
proofWin(state_t &state, const PathEncoding &path, const CheckHashRecord *oracle, Move &best_move) | osl::checkmate::OracleProver< Table > | [inline] |
state | osl::checkmate::OracleProver< Table > | [private] |
state_t typedef | osl::checkmate::OracleProver< Table > | |
table | osl::checkmate::OracleProver< Table > | [private] |
testFixedDepthAttack(CheckHashRecord *record, Move) | osl::checkmate::OracleProver< Table > | [inline] |
testFixedDepthDefense(CheckHashRecord *record, CheckMove &) | osl::checkmate::OracleProver< Table > | [inline] |