printPdp.cc
Go to the documentation of this file.
00001 /* printPdp.cc
00002  */
00003 #include "osl/checkmate/proofDisproof.h"
00004 #include <iostream>
00005 
00006 using namespace osl;
00007 using namespace osl::checkmate;
00008 int main()
00009 {
00010   std::cout << "Checkmate "     << ProofDisproof::Checkmate()    .ulonglongValue() << "\n";
00011   std::cout << "NoEscape "      << ProofDisproof::NoEscape()     .ulonglongValue() << "\n";
00012   std::cout << "NoCheckmate "   << ProofDisproof::NoCheckmate()  .ulonglongValue() << "\n";
00013   std::cout << "LoopDetection " << ProofDisproof::LoopDetection().ulonglongValue() << "\n";
00014   std::cout << "PawnCheckmate " << ProofDisproof::PawnCheckmate().ulonglongValue() << "\n";
00015   std::cout << "ProofLimit "    << ProofDisproof::PROOF_LIMIT    << "\n";
00016   std::cout << "DisproofLimit " << ProofDisproof::DISPROOF_LIMIT << "\n";
00017   unsigned long long pdp;
00018   while (std::cin >> pdp)
00019   {
00020     std::cout << ProofDisproof::makeDirect(pdp) << "\n";
00021   }
00022 }
00023 
00024 /* ------------------------------------------------------------------------- */
00025 // ;;; Local Variables:
00026 // ;;; mode:c++
00027 // ;;; c-basic-offset:2
00028 // ;;; End:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines