クラス osl::checkmate::analyzer::ProofTreeDepth

ͤޤǤμ. [詳細]

#include <proofTreeDepth.h>

すべてのメンバ一覧

Public メソッド

 ProofTreeDepth ()
 ~ProofTreeDepth ()
int depth (const CheckHashRecord *record, bool is_or_node) const

Private メソッド

int orNode (const CheckHashRecord *record) const
int andNode (const CheckHashRecord *record) const

Private 変数

boost::scoped_ptr< Tabletable

構成

struct  Table
 򵭲ơ֥. [詳細]


説明

ͤޤǤμ.

;롼ǡ̵̹ʤɤޤޤ뤿 ʹ֤δФȰפȤϸ¤ʤ

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


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

osl::checkmate::analyzer::ProofTreeDepth::ProofTreeDepth (  ) 

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

osl::checkmate::analyzer::ProofTreeDepth::~ProofTreeDepth (  ) 

proofTreeDepth.cc22 行で定義されています。


関数

int osl::checkmate::analyzer::ProofTreeDepth::depth ( const CheckHashRecord record,
bool  is_or_node 
) const

int osl::checkmate::analyzer::ProofTreeDepth::orNode ( const CheckHashRecord record  )  const [private]

int osl::checkmate::analyzer::ProofTreeDepth::andNode ( const CheckHashRecord record  )  const [private]


変数

proofTreeDepth.h18 行で定義されています。

参照元 andNode(), と orNode().


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

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