dfpn.h

#include "osl/checkmate/proofDisproof.h"
#include "osl/numEffectState.h"
#include "osl/hashKey.h"
#include "osl/pathEncoding.h"
#include "osl/config.h"
#include <boost/scoped_array.hpp>

dfpn.hのインクルード依存関係図

このグラフは、どのファイルから直接、間接的にインクルードされているかを示しています。

ソースコードを見る。

構成
class	osl::checkmate::DfpnTable
	詰探索局面表 -- 並列でも共有する部分 [詳細]
class	osl::checkmate::Dfpn
	詰探索 [詳細]
struct	osl::checkmate::Dfpn::DepthLimitReached
struct	osl::checkmate::Dfpn::ProofOracle
ネームスペース
namespace	osl
namespace	osl::checkmate