fixed-checkmate.cc File Reference

- Main Page
- Namespaces
- Classes
- Files

- File List
- File Members

All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Functions | Variables
fixed-checkmate.cc File Reference
`#include "osl/checkmate/fixedDepthSearcher.h"`
`#include "osl/record/csaString.h"`
`#include "osl/record/csaRecord.h"`
`#include "osl/state/numEffectState.h"`
`#include "osl/misc/perfmon.h"`
`#include <boost/scoped_ptr.hpp>`
`#include <string>`
`#include <iostream>`
`#include <cstdlib>`
`#include <cstdio>`
`#include <unistd.h>`
Include dependency graph for fixed-checkmate.cc:

Go to the source code of this file.

## Functions
void | usage (const char *prog)
void | search (int depth, const char *filename)
int | main (int argc, char **argv)

## Variables
bool | verbose =false
int | num_checkmate =0
int | num_escape =0
int | num_unkown =0

## Function Documentation

int main | ( | int | argc,
|  | char ** | argv
| ) |  |

Definition at line 32 of file fixed-checkmate.cc.

References depth, num_checkmate, num_escape, num_unkown, search(), usage(), and verbose.

void search | ( | int | depth,
|  | const char * | filename
| ) |  |

Definition at line 75 of file fixed-checkmate.cc.

References count, osl::checkmate::ProofDisproof::isCheckmateFail(), osl::checkmate::ProofDisproof::isCheckmateSuccess(), num_checkmate, num_escape, num_unkown, osl::misc::PerfMon::stop(), and total_cycles.

void usage | ( | const char * | prog) |  |

Definition at line 18 of file fixed-checkmate.cc.

## Variable Documentation

int num_checkmate =0

Definition at line 28 of file fixed-checkmate.cc.

int num_escape =0

Definition at line 28 of file fixed-checkmate.cc.

int num_unkown =0

Definition at line 28 of file fixed-checkmate.cc.

bool verbose =false

Definition at line 27 of file fixed-checkmate.cc.