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::CallProofOracleDefense< P, UseTable >::oracle, osl::checkmate::Dfpn::CallProofOracleDefense< P, UseTable >::proof_limit, osl::checkmate::Dfpn::proofOracleDefense(), and osl::checkmate::Dfpn::CallProofOracleDefense< P, UseTable >::search.
ProofOracle osl::checkmate::Dfpn::CallProofOracleDefense< P, UseTable >::oracle |
Definition at line 2733 of file dfpn.cc.
Referenced by osl::checkmate::Dfpn::CallProofOracleDefense< P, UseTable >::operator()().
int osl::checkmate::Dfpn::CallProofOracleDefense< P, UseTable >::proof_limit |
Definition at line 2734 of file dfpn.cc.
Referenced by osl::checkmate::Dfpn::CallProofOracleDefense< P, UseTable >::operator()().
Dfpn* osl::checkmate::Dfpn::CallProofOracleDefense< P, UseTable >::search |
Definition at line 2732 of file dfpn.cc.
Referenced by osl::checkmate::Dfpn::CallProofOracleDefense< P, UseTable >::operator()().