printPdp.cc File Reference

- Main Page
- Namespaces
- Classes
- Files

- File List
- File Members

All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Functions
printPdp.cc File Reference
`#include "osl/checkmate/proofDisproof.h"`
`#include <iostream>`
Include dependency graph for printPdp.cc:

Go to the source code of this file.

## Functions
int | main ()

## Function Documentation

int main | ( | ) |  |

Definition at line 8 of file printPdp.cc.

References osl::checkmate::ProofDisproof::Checkmate(), osl::checkmate::ProofDisproof::DISPROOF_LIMIT, osl::checkmate::ProofDisproof::LoopDetection(), osl::checkmate::ProofDisproof::makeDirect(), osl::checkmate::ProofDisproof::NoCheckmate(), osl::checkmate::ProofDisproof::NoEscape(), osl::checkmate::ProofDisproof::PawnCheckmate(), osl::checkmate::ProofDisproof::PROOF_LIMIT, and osl::checkmate::ProofDisproof::ulonglongValue().