Go to the source code of this file.
Functions | |
int | main () |
int main | ( | ) |
Definition at line 8 of file printPdp.cc.
References osl::checkmate::ProofDisproof::Checkmate(), osl::checkmate::ProofDisproof::DISPROOF_LIMIT, osl::checkmate::ProofDisproof::LoopDetection(), osl::checkmate::ProofDisproof::makeDirect(), osl::checkmate::ProofDisproof::NoCheckmate(), osl::checkmate::ProofDisproof::NoEscape(), osl::checkmate::ProofDisproof::PawnCheckmate(), osl::checkmate::ProofDisproof::PROOF_LIMIT, and osl::checkmate::ProofDisproof::ulonglongValue().