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