printPdp.cc Source File

- Main Page
- Namespaces
- Classes
- Files

- File List
- File Members

All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
printPdp.cc
Go to the documentation of this file.
1 /* printPdp.cc
2 */
3 #include "osl/checkmate/proofDisproof.h"
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: