Public 型 | |
typedef slist< PathEncoding > | disproof_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.cc の 143 行で定義されています。
typedef slist<PathEncoding> osl::checkmate::DualDfpn::Shared::disproof_list_t |
dualDfpn.cc の 158 行で定義されています。
typedef hash_map<HashKey, disproof_list_t> osl::checkmate::DualDfpn::Shared::disproof_table_t |
dualDfpn.cc の 159 行で定義されています。
osl::checkmate::DualDfpn::Shared::Shared | ( | ) | [inline] |
dualDfpn.cc の 162 行で定義されています。
参照先 osl::BLACK, blocking_verify, pool, table, と osl::WHITE.
osl::checkmate::DualDfpn::Shared::~Shared | ( | ) | [inline] |
dualDfpn.cc の 170 行で定義されています。
参照先 showStats().
void osl::checkmate::DualDfpn::Shared::addMainNodeCount | ( | int | add | ) | [inline] |
dualDfpn.cc の 189 行で定義されています。
参照先 main_node_count, と SCOPED_LOCK.
void osl::checkmate::DualDfpn::Shared::addSimulationNodeCount | ( | int | add | ) | [inline] |
dualDfpn.cc の 196 行で定義されています。
参照先 SCOPED_LOCK, と simulation_count.
void osl::checkmate::DualDfpn::Shared::showStats | ( | ) | [inline] |
dualDfpn.cc の 174 行で定義されています。
参照先 osl::BLACK, osl::stat::Average::getAverage(), main_node_count, osl::stat::Average::numElements(), pool, proof_by_oracle, simulation_count, table, と osl::WHITE.
参照元 ~Shared().
CArray<bool,2> osl::checkmate::DualDfpn::Shared::blocking_verify |
dualDfpn.cc の 150 行で定義されています。
参照元 Shared().
dualDfpn.cc の 147 行で定義されています。
参照元 addMainNodeCount(), と showStats().
dualDfpn.cc の 146 行で定義されています。
参照元 Shared(), と showStats().
dualDfpn.cc の 149 行で定義されています。
参照元 showStats().
dualDfpn.cc の 148 行で定義されています。
参照元 addSimulationNodeCount(), と showStats().
dualDfpn.cc の 145 行で定義されています。
参照元 Shared(), と showStats().