#include <checkmateRecorder.h>
Public メソッド | |
DepthTracer (const char *n, CheckHashRecord *r, const HashKey &key, const PathEncoding &path, unsigned int proofLimit, unsigned int disproofLimit) | |
~DepthTracer () | |
Static Public メソッド | |
static std::ostream & | stream () |
Public 変数 | |
CheckHashRecord * | record |
const char * | name |
Static Public 変数 | |
static int | depth = 0 |
depth νͤ 0 ˸ | |
static int | maxLogDepth = 1 |
static int | maxVerboseLogDepth = 1 |
ͤɬפ˱Խ |
checkmateRecorder.h の 103 行で定義されています。
osl::checkmate::CheckmateRecorder::DepthTracer::DepthTracer | ( | const char * | n, | |
CheckHashRecord * | r, | |||
const HashKey & | key, | |||
const PathEncoding & | path, | |||
unsigned int | proofLimit, | |||
unsigned int | disproofLimit | |||
) | [inline] |
checkmateRecorder.h の 112 行で定義されています。
参照先 depth, osl::checkmate::CheckmateRecorder::enter(), maxLogDepth, name, と record.
osl::checkmate::CheckmateRecorder::DepthTracer::~DepthTracer | ( | ) | [inline] |
checkmateRecorder.h の 124 行で定義されています。
参照先 depth, osl::checkmate::CheckmateRecorder::leave(), maxLogDepth, name, と record.
std::ostream & osl::checkmate::CheckmateRecorder::DepthTracer::stream | ( | ) | [static] |
int osl::checkmate::CheckmateRecorder::DepthTracer::depth = 0 [static] |
int osl::checkmate::CheckmateRecorder::DepthTracer::maxLogDepth = 1 [static] |
int osl::checkmate::CheckmateRecorder::DepthTracer::maxVerboseLogDepth = 1 [static] |