proofTreeDepthDfpn.cc

#include "osl/checkmate/proofTreeDepthDfpn.h"
#include "osl/checkmate/dfpn.h"
#include "osl/checkmate/dfpnRecord.h"
#include "osl/checkmate/fixedDepthSearcher.h"
#include "osl/checkmate/fixedDepthSearcher.tcc"
#include <unordered_map>
#include <forward_list>

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

ソースコードを見る。

構成
struct	osl::checkmate::ProofTreeDepthDfpn::Table
	深さを記憶するテーブル. [詳細]