Main Page
Namespaces
Classes
Files
File List
File Members
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
sample
debug
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:
Generated on Sun Jul 21 2013 13:37:26 by
1.8.4