All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
printPdp.cc
Go to the documentation of this file.
1 /* printPdp.cc
2  */
4 #include <iostream>
5 
6 using namespace osl;
7 using namespace osl::checkmate;
8 int main()
9 {
10  std::cout << "Checkmate " << ProofDisproof::Checkmate() .ulonglongValue() << "\n";
11  std::cout << "NoEscape " << ProofDisproof::NoEscape() .ulonglongValue() << "\n";
12  std::cout << "NoCheckmate " << ProofDisproof::NoCheckmate() .ulonglongValue() << "\n";
13  std::cout << "LoopDetection " << ProofDisproof::LoopDetection().ulonglongValue() << "\n";
14  std::cout << "PawnCheckmate " << ProofDisproof::PawnCheckmate().ulonglongValue() << "\n";
15  std::cout << "ProofLimit " << ProofDisproof::PROOF_LIMIT << "\n";
16  std::cout << "DisproofLimit " << ProofDisproof::DISPROOF_LIMIT << "\n";
17  unsigned long long pdp;
18  while (std::cin >> pdp)
19  {
20  std::cout << ProofDisproof::makeDirect(pdp) << "\n";
21  }
22 }
23 
24 /* ------------------------------------------------------------------------- */
25 // ;;; Local Variables:
26 // ;;; mode:c++
27 // ;;; c-basic-offset:2
28 // ;;; End: