dualDfpn.cc

#include "osl/checkmate/dualDfpn.h"
#include "osl/checkmate/dfpn.h"
#include "osl/checkmate/dfpnRecord.h"
#include "osl/repetitionCounter.h"
#include "osl/stat/average.h"
#include "osl/centering3x3.h"
#include "osl/bits/centering5x3.h"
#include "osl/misc/milliSeconds.h"
#include "osl/oslConfig.h"
#include <unordered_map>
#include <forward_list>
#include <iostream>
#include <iomanip>

dualDfpn.ccのインクルード依存関係図

ソースコードを見る。

構成
struct	checkmate::DualDfpn::OraclePool
struct	checkmate::DualDfpn::OraclePool::Element
struct	checkmate::DualDfpn::OraclePool::List
struct	checkmate::DualDfpn::Shared
struct	checkmate::DualDfpn::Shared::TableUseLock
struct	checkmate::DualDfpn::Local
ネームスペース
namespace	osl
マクロ定義
#define	DFPN_SHARE_TABLE
変数
static const int	max_oracle_list_size = 2
static const size_t	local_table_growth_limit = 40000

---

マクロ定義

#define DFPN_SHARE_TABLE

dualDfpn.cc の 27 行で定義されています。

---

変数

const size_t local_table_growth_limit = 40000 [static]

dualDfpn.cc の 30 行で定義されています。

参照元 osl::checkmate::DualDfpn::findProof(), と osl::checkmate::DualDfpn::runGC().

const int max_oracle_list_size = 2 [static]

dualDfpn.cc の 29 行で定義されています。