
| Classes | |
| struct | TableUseLock | 
| Public Types | |
| typedef slist< PathEncoding > | disproof_list_t | 
| typedef hash_map< HashKey, disproof_list_t > | disproof_table_t | 
| Public Member Functions | |
| Shared () | |
| ~Shared () | |
| void | showStats () | 
| void | addMainNodeCount (int add) | 
| void | addSimulationNodeCount (int add) | 
| Public Attributes | |
| CArray< DfpnTable, 2 > | table | 
| CArray< OraclePool, 2 > | pool | 
| size_t | main_node_count | 
| size_t | simulation_count | 
| volatile size_t | last_gc | 
| volatile size_t | gc_threshold | 
| CArray< stat::Average, max_oracle_list_size > | proof_by_oracle | 
| CArray< bool, 2 > | blocking_verify | 
| volatile int | shared_table_user | 
| volatile int | shared_table_gc_wait | 
| disproof_table_t | disproof_table | 
Definition at line 144 of file dualDfpn.cc.
| typedef slist<PathEncoding> osl::checkmate::DualDfpn::Shared::disproof_list_t | 
Definition at line 162 of file dualDfpn.cc.
| typedef hash_map<HashKey, disproof_list_t> osl::checkmate::DualDfpn::Shared::disproof_table_t | 
Definition at line 163 of file dualDfpn.cc.
| 
 | inline | 
Definition at line 166 of file dualDfpn.cc.
References osl::BLACK, blocking_verify, pool, table, and osl::WHITE.
| 
 | inline | 
Definition at line 175 of file dualDfpn.cc.
References showStats().
| 
 | inline | 
Definition at line 194 of file dualDfpn.cc.
References main_node_count.
| 
 | inline | 
Definition at line 201 of file dualDfpn.cc.
References simulation_count.
| 
 | inline | 
Definition at line 179 of file dualDfpn.cc.
References osl::BLACK, osl::stat::Average::getAverage(), main_node_count, osl::stat::Average::numElements(), pool, proof_by_oracle, simulation_count, table, and osl::WHITE.
Referenced by ~Shared().
| CArray<bool,2> osl::checkmate::DualDfpn::Shared::blocking_verify | 
Definition at line 152 of file dualDfpn.cc.
Referenced by Shared().
| disproof_table_t osl::checkmate::DualDfpn::Shared::disproof_table | 
Definition at line 164 of file dualDfpn.cc.
| volatile size_t osl::checkmate::DualDfpn::Shared::gc_threshold | 
Definition at line 150 of file dualDfpn.cc.
| volatile size_t osl::checkmate::DualDfpn::Shared::last_gc | 
Definition at line 150 of file dualDfpn.cc.
| size_t osl::checkmate::DualDfpn::Shared::main_node_count | 
Definition at line 148 of file dualDfpn.cc.
Referenced by addMainNodeCount(), and showStats().
| CArray<OraclePool,2> osl::checkmate::DualDfpn::Shared::pool | 
Definition at line 147 of file dualDfpn.cc.
Referenced by Shared(), and showStats().
| CArray<stat::Average,max_oracle_list_size> osl::checkmate::DualDfpn::Shared::proof_by_oracle | 
Definition at line 151 of file dualDfpn.cc.
Referenced by showStats().
| volatile int osl::checkmate::DualDfpn::Shared::shared_table_gc_wait | 
Definition at line 158 of file dualDfpn.cc.
Referenced by osl::checkmate::DualDfpn::Shared::TableUseLock::~TableUseLock().
| volatile int osl::checkmate::DualDfpn::Shared::shared_table_user | 
Definition at line 158 of file dualDfpn.cc.
Referenced by osl::checkmate::DualDfpn::Shared::TableUseLock::TableUseLock(), and osl::checkmate::DualDfpn::Shared::TableUseLock::~TableUseLock().
| size_t osl::checkmate::DualDfpn::Shared::simulation_count | 
Definition at line 149 of file dualDfpn.cc.
Referenced by addSimulationNodeCount(), and showStats().
| CArray<DfpnTable,2> osl::checkmate::DualDfpn::Shared::table | 
Definition at line 146 of file dualDfpn.cc.
Referenced by Shared(), and showStats().
 1.8.4
 1.8.4