My Project
|
Public Member Functions | |
CallProofOracleDefense (Dfpn *s, const ProofOracle &o, int pl) | |
void | operator() (Square) const |
Public Attributes | |
Dfpn * | search |
ProofOracle | oracle |
int | proof_limit |
|
inline |
|
inline |
Definition at line 2738 of file dfpn.cc.
References osl::checkmate::Dfpn::proofOracleDefense().
ProofOracle osl::checkmate::Dfpn::CallProofOracleDefense< P, UseTable >::oracle |
int osl::checkmate::Dfpn::CallProofOracleDefense< P, UseTable >::proof_limit |
Dfpn* osl::checkmate::Dfpn::CallProofOracleDefense< P, UseTable >::search |