構造体 osl::checkmate::DualDfpn::Shared

osl::checkmate::DualDfpn::Sharedのコラボレーション図
Collaboration graph
[凡例]

すべてのメンバ一覧

Public 型

typedef slist< PathEncodingdisproof_list_t
typedef hash_map< HashKey,
disproof_list_t
disproof_table_t

Public メソッド

 Shared ()
 ~Shared ()
void showStats ()
void addMainNodeCount (int add)
void addSimulationNodeCount (int add)

Public 変数

CArray< DfpnTable, 2 > table
CArray< OraclePool, 2 > pool
size_t main_node_count
size_t simulation_count
CArray< stat::Average,
max_oracle_list_size
proof_by_oracle
CArray< bool, 2 > blocking_verify
disproof_table_t disproof_table

説明

dualDfpn.cc143 行で定義されています。


型定義

dualDfpn.cc158 行で定義されています。

dualDfpn.cc159 行で定義されています。


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

osl::checkmate::DualDfpn::Shared::Shared (  )  [inline]

dualDfpn.cc162 行で定義されています。

参照先 osl::BLACK, blocking_verify, pool, table, と osl::WHITE.

osl::checkmate::DualDfpn::Shared::~Shared (  )  [inline]

dualDfpn.cc170 行で定義されています。

参照先 showStats().


関数

void osl::checkmate::DualDfpn::Shared::addMainNodeCount ( int  add  )  [inline]

dualDfpn.cc189 行で定義されています。

参照先 main_node_count, と SCOPED_LOCK.

void osl::checkmate::DualDfpn::Shared::addSimulationNodeCount ( int  add  )  [inline]

dualDfpn.cc196 行で定義されています。

参照先 SCOPED_LOCK, と simulation_count.

void osl::checkmate::DualDfpn::Shared::showStats (  )  [inline]

変数

dualDfpn.cc150 行で定義されています。

参照元 Shared().

dualDfpn.cc160 行で定義されています。

dualDfpn.cc147 行で定義されています。

参照元 addMainNodeCount(), と showStats().

dualDfpn.cc146 行で定義されています。

参照元 Shared(), と showStats().

dualDfpn.cc149 行で定義されています。

参照元 showStats().

dualDfpn.cc148 行で定義されています。

参照元 addSimulationNodeCount(), と showStats().

dualDfpn.cc145 行で定義されています。

参照元 Shared(), と showStats().


この構造体の説明は次のファイルから生成されました:
 全て クラス ネームスペース ファイル 関数 変数 型定義 列挙型 列挙型の値 フレンド マクロ定義
Sun May 16 09:57:54 2010に生成されました。  doxygen 1.6.3