All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Classes
proofTreeDepthDfpn.cc File Reference
#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 "osl/container/moveVector.h"
#include "osl/stl/hash_map.h"
#include "osl/stl/slist.h"
#include <boost/foreach.hpp>
Include dependency graph for proofTreeDepthDfpn.cc:

Go to the source code of this file.

Classes

struct  osl::checkmate::ProofTreeDepthDfpn::Table
 深さを記憶するテーブル. More...