#include "osl/checkmate/dualDfpn.h"#include "osl/checkmate/dfpn.h"#include "osl/checkmate/dfpnRecord.h"#include "osl/repetitionCounter.h"#include "osl/stl/hash_map.h"#include "osl/stl/slist.h"#include "osl/stat/average.h"#include "osl/centering3x3.h"#include "osl/centering5x3.h"#include "osl/misc/milliSeconds.h"#include "osl/oslConfig.h"#include <boost/foreach.hpp>#include <iostream>#include <iomanip>
Go to the source code of this file.
Classes | |
| struct | osl::checkmate::DualDfpn::OraclePool |
| struct | osl::checkmate::DualDfpn::OraclePool::Element |
| struct | osl::checkmate::DualDfpn::OraclePool::List |
| struct | osl::checkmate::DualDfpn::Shared |
| struct | osl::checkmate::DualDfpn::Shared::TableUseLock |
| struct | osl::checkmate::DualDfpn::Local |
Namespaces | |
| namespace | osl |
|
| |
Defines | |
| #define | DFPN_SHARE_TABLE |
Variables | |
| static const int | max_oracle_list_size = 2 |
| static const size_t | local_table_growth_limit = 40000 |
| #define DFPN_SHARE_TABLE |
Definition at line 28 of file dualDfpn.cc.
const size_t local_table_growth_limit = 40000 [static] |
Definition at line 31 of file dualDfpn.cc.
Referenced by osl::checkmate::DualDfpn::findProof(), and osl::checkmate::DualDfpn::runGC().
const int max_oracle_list_size = 2 [static] |
Definition at line 30 of file dualDfpn.cc.
1.7.6.1