クラス osl::checkmate::analyzer::ProofTreeTraverser

proof tree 򸡾 [詳細]

#include <proofTreeTraverser.h>

osl::checkmate::analyzer::ProofTreeTraverserに対する継承グラフ

Inheritance graph
[凡例]
osl::checkmate::analyzer::ProofTreeTraverserのコラボレーション図

Collaboration graph
[凡例]

すべてのメンバ一覧

Public メソッド

 ProofTreeTraverser (TreeWriter &, const TwinTable &table)
 ~ProofTreeTraverser ()

Protected メソッド

void orNode (Move m, const CheckHashRecord *record, const HashKey &key, const PathEncoding &path)
void andNode (Move, const CheckHashRecord *record, const HashKey &key, const PathEncoding &path)


説明

proof tree 򸡾

proofTreeTraverser.h16 行で定義されています。


コンストラクタとデストラクタ

osl::checkmate::analyzer::ProofTreeTraverser::ProofTreeTraverser ( TreeWriter w,
const TwinTable table 
)

proofTreeTraverser.cc11 行で定義されています。

osl::checkmate::analyzer::ProofTreeTraverser::~ProofTreeTraverser (  ) 

proofTreeTraverser.cc16 行で定義されています。


関数

void osl::checkmate::analyzer::ProofTreeTraverser::orNode ( Move  m,
const CheckHashRecord record,
const HashKey &  key,
const PathEncoding path 
) [protected, virtual]

void osl::checkmate::analyzer::ProofTreeTraverser::andNode ( Move  ,
const CheckHashRecord record,
const HashKey &  key,
const PathEncoding path 
) [protected, virtual]


このクラスの説明は次のファイルから生成されました:

Thu Oct 8 05:01:16 2009に生成されました。  doxygen 1.5.6