#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>
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 |
| 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.
| 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.
1.8.4