Go to the documentation of this file.00001
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
00026
00027
00028