checkstat.cc

#include "osl/checkmate/dualCheckmateSearcher.h"
#include "osl/checkmate/dualCheckmateSearcher.tcc"
#include "osl/checkmate/checkmateSearcher.tcc"
#include "osl/checkmate/fixedDepthSearcher.tcc"
#include "osl/checkmate/oracleProver.tcc"
#include "osl/checkmate/oracleDisprover.tcc"
#include "osl/checkmate/analyzer/checkTableAnalyzer.h"
#include "osl/checkmate/analyzer/proofTreeDepth.h"
#include "osl/checkmate/simpleCheckHashTable.h"
#include "osl/checkmate/dominanceTable.h"
#include "osl/checkmate/checkHashRecord.h"
#include "osl/checkmate/checkmateRecorder.h"
#include "osl/checkmate/libertyEstimator.h"
#include "osl/checkmate/nullEstimator.h"
#include "osl/checkmate/pieceCost.h"
#include "osl/checkmate/nullCost.h"
#include "osl/record/csaString.h"
#include "osl/record/csaRecord.h"
#include "osl/state/hashEffectState.h"
#include "osl/misc/perfmon.h"
#include "osl/misc/realTime.h"
#include <boost/scoped_ptr.hpp>
#include <string>
#include <iostream>
#include <fstream>
#include <cstdlib>
#include <unistd.h>

checkstat.ccのインクルード依存関係図

ソースコードを見る。

関数
void	usage (const char *prog)
template<class Table, class H, class Cost>
void	search (const char *filename)
void	searchFile (const char *filename)
int	main (int argc, char **argv)
void	dumpTree (const CheckTableAnalyzer &analyzer, const CheckHashRecord *record)
void	readCsaState (std::istream &is, SimpleState &state)
	CSA �����Υե����뤫�� stream ����1����(������)�ɤ�
template<Player P, class Searcher>
void	testWinOrLose (const char *curFilename, Searcher &searcher, const SimpleState &sstate, int limit)
変数
bool	verbose = false
unsigned long long	total_cycles = 0
size_t	limit = 409600
bool	showProofTree = false
int	showAllTreeDepth = 0
int	showTreeDepth = 0
bool	showEscapeFilename = false
bool	force_attack = false
bool	useDominanceRelation = false
int	num_checkmate = 0
int	num_escape = 0
int	num_unkown = 0
double	total_nodes = 0
double	total_tables = 0
bool	useOutlineFormat = false
size_t	logThreshold = 0
bool	useHeuristics = true
std::ostream *	treeOut = 0
std::ostream *	tree_size_out = 0
double	real_seconds = 0.0

---

関数

void dumpTree	(	const CheckTableAnalyzer &	analyzer,
		const CheckHashRecord *	record
	)

checkstat.cc の 169 行で定義されています。

参照先 osl::checkmate::CheckMoveListBase::begin(), osl::checkmate::CheckMoveListBase::end(), logThreshold, osl::checkmate::CheckHashRecord::moves, showAllTreeDepth, osl::checkmate::analyzer::CheckTableAnalyzer::showTree(), showTreeDepth, と treeOut.

参照元 testWinOrLose().

int main	(	int	argc,
		char **	argv
	)

checkstat.cc の 74 行で定義されています。

参照先 force_attack, limit, logThreshold, num_checkmate, num_escape, num_unkown, searchFile(), showAllTreeDepth, showEscapeFilename, showProofTree, showTreeDepth, total_cycles, total_nodes, total_tables, tree_size_out, treeOut, usage(), useDominanceRelation, useHeuristics, useOutlineFormat, と verbose.

void readCsaState	(	std::istream &	is,
		SimpleState &	state
	)

CSA �����Υե����뤫�� stream ����1����(������)�ɤ�

checkstat.cc の 220 行で定義されています。

参照先 osl::record::csa::InputStream::load().

参照元 search().

template<class Table, class H, class Cost>

void search

(

const char *

filename

)

[inline]

checkstat.cc の 400 行で定義されています。

参照先 osl::BLACK, limit, osl::eval::max(), readCsaState(), real_seconds, state, total_cycles, total_nodes, total_tables, verbose, と osl::WHITE.

void searchFile

(

const char *

filename

)

checkstat.cc の 199 行で定義されています。

参照先 useDominanceRelation, と useHeuristics.

参照元 main().

template<Player P, class Searcher>

void testWinOrLose	(	const char *	curFilename,
		Searcher &	searcher,
		const SimpleState &	sstate,
		int	limit
	)			[inline]

checkstat.cc の 231 行で定義されています。

参照先 osl::alt(), analyzer, osl::checkmate::analyzer::ProofTreeDepth::depth(), depth, dumpTree(), osl::checkmate::CheckHashRecord::findLoop(), force_attack, osl::misc::RealTime::getConsumedInDouble(), osl::checkmate::ProofDisproof::isCheckmateFail(), osl::checkmate::ProofDisproof::isFinal(), num_checkmate, num_escape, num_unkown, osl::checkmate::CheckHashRecord::proofDisproof(), real_seconds, showEscapeFilename, showProofTree, state, osl::misc::PerfMon::stop(), total_cycles, tree_size_out, treeOut, useOutlineFormat, と verbose.

void usage

(

const char *

prog

)

checkstat.cc の 35 行で定義されています。

---

変数

bool force_attack = false

checkstat.cc の 59 行で定義されています。

参照元 main(), と testWinOrLose().

size_t limit = 409600

checkstat.cc の 54 行で定義されています。

size_t logThreshold = 0

checkstat.cc の 64 行で定義されています。

参照元 dumpTree(), と main().

int num_checkmate = 0

checkstat.cc の 61 行で定義されています。

参照元 main(), search(), と testWinOrLose().

int num_escape = 0

checkstat.cc の 61 行で定義されています。

参照元 main(), search(), と testWinOrLose().

int num_unkown = 0

checkstat.cc の 61 行で定義されています。

参照元 main(), search(), と testWinOrLose().

double real_seconds = 0.0

checkstat.cc の 228 行で定義されています。

参照元 search(), と testWinOrLose().

int showAllTreeDepth = 0

checkstat.cc の 56 行で定義されています。

参照元 dumpTree(), と main().

bool showEscapeFilename = false

checkstat.cc の 58 行で定義されています。

参照元 main(), と testWinOrLose().

bool showProofTree = false

checkstat.cc の 55 行で定義されています。

参照元 main(), と testWinOrLose().

int showTreeDepth = 0

checkstat.cc の 57 行で定義されています。

参照元 dumpTree(), と main().

unsigned long long total_cycles = 0

checkstat.cc の 53 行で定義されています。

参照元 finish(), main(), qsearch(), run(), search(), と testWinOrLose().

double total_nodes = 0

checkstat.cc の 62 行で定義されています。

参照元 main(), と search().

double total_tables = 0

checkstat.cc の 62 行で定義されています。

参照元 main(), と search().

std::ostream* tree_size_out = 0

checkstat.cc の 68 行で定義されています。

参照元 main(), と testWinOrLose().

std::ostream* treeOut = 0

checkstat.cc の 67 行で定義されています。

参照元 dumpTree(), main(), と testWinOrLose().

bool useDominanceRelation = false

checkstat.cc の 60 行で定義されています。

参照元 main(), と searchFile().

bool useHeuristics = true

checkstat.cc の 65 行で定義されています。

参照元 main(), と searchFile().

bool useOutlineFormat = false

checkstat.cc の 63 行で定義されています。

参照元 main(), と testWinOrLose().

bool verbose = false

checkstat.cc の 52 行で定義されています。