Public Member Functions | |
Recorder (const char *filename) | |
std::ostream & | stream () |
bool | notSoDeep (int limit) const |
変な名前だけど記録を取る深さに収まっている事を調べる | |
void | flush () |
Public Attributes | |
std::ofstream | os |
int | current_depth |
現在の深さ(表示加工用) | |
int | initial_limit |
探索を開始した時点でのlimit | |
int | log_margin |
Definition at line 81 of file searchRecorder.cc.
osl::search::SearchRecorder::Recorder::Recorder | ( | const char * | filename | ) | [inline] |
Definition at line 90 of file searchRecorder.cc.
void osl::search::SearchRecorder::Recorder::flush | ( | ) | [inline] |
Definition at line 117 of file searchRecorder.cc.
bool osl::search::SearchRecorder::Recorder::notSoDeep | ( | int | limit | ) | const [inline] |
変な名前だけど記録を取る深さに収まっている事を調べる
Definition at line 108 of file searchRecorder.cc.
std::ostream& osl::search::SearchRecorder::Recorder::stream | ( | ) | [inline] |
Definition at line 96 of file searchRecorder.cc.
現在の深さ(表示加工用)
Definition at line 85 of file searchRecorder.cc.
探索を開始した時点でのlimit
Definition at line 87 of file searchRecorder.cc.
Definition at line 88 of file searchRecorder.cc.
std::ofstream osl::search::SearchRecorder::Recorder::os |
Definition at line 83 of file searchRecorder.cc.