#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.