CallDisprover(bool *r, Disprover *p, state_t *s, const HashKey &k, const PathEncoding &pa, DisproofOracleDefense< P > o, Move last) | osl::checkmate::CallDisprover< Disprover, P > | [inline] |
last_move | osl::checkmate::CallDisprover< Disprover, P > | |
new_key | osl::checkmate::CallDisprover< Disprover, P > | |
new_path | osl::checkmate::CallDisprover< Disprover, P > | |
operator()(Position) | osl::checkmate::CallDisprover< Disprover, P > | [inline] |
oracle | osl::checkmate::CallDisprover< Disprover, P > | |
prover | osl::checkmate::CallDisprover< Disprover, P > | |
result | osl::checkmate::CallDisprover< Disprover, P > | |
state | osl::checkmate::CallDisprover< Disprover, P > | |
state_t typedef | osl::checkmate::CallDisprover< Disprover, P > |