#include "osl/checkmate/analyzer/checkTableAnalyzer.h"
#include "osl/checkmate/analyzer/treeWriter.h"
#include "osl/checkmate/analyzer/proofTreeTraverser.h"
#include "osl/checkmate/analyzer/disproofTreeTraverser.h"
#include "osl/checkmate/analyzer/recordSet.h"
#include "osl/checkmate/analyzer/showAllTree.h"
#include "osl/checkmate/checkHashRecord.h"
#include "osl/checkmate/checkMoveList.h"
#include "osl/checkmate/proofDisproof.h"
#include "osl/checkmate/corruptCheckTable.h"
#include <boost/scoped_ptr.hpp>
#include <iostream>
#include <fstream>
ネームスペース | |
namespace | osl |
namespace | osl::checkmate |
関数 | |
static void | osl::checkmate::traverse (const CheckHashRecord *record, RecordSet &out) |
static void | osl::checkmate::examineProofTree (const CheckHashRecord *record, const TwinTable &table, const HashKey &key, const PathEncoding &path, bool orNode, TreeWriter &writer, size_t &tree_size, size_t &leaf_size) |
static void | osl::checkmate::examineDisproofTree (const CheckHashRecord *record, const TwinTable &table, const HashKey &key, const PathEncoding &path, bool orNode, bool isPartialStack, TreeWriter &writer, size_t &tree_size, size_t &leaf_size) |
static void | osl::checkmate::examineTreeGuess (const CheckHashRecord *record, const TwinTable &table, const HashKey &key, const PathEncoding &path, bool orNode, bool isPartialStack, TreeWriter &writer, size_t &tree_size, size_t &leaf_size) |