構造体 checkmate::DualDfpn::Shared

checkmate::DualDfpn::Sharedのコラボレーション図

すべてのメンバ一覧

Public 型
typedef std::forward_list < PathEncoding >	disproof_list_t
typedef std::unordered_map < HashKey, disproof_list_t, std::hash< HashKey > >	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
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

---

説明

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

---

型定義

typedef std::forward_list<PathEncoding> checkmate::DualDfpn::Shared::disproof_list_t

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

typedef std::unordered_map<HashKey, disproof_list_t, std::hash<HashKey> > checkmate::DualDfpn::Shared::disproof_table_t

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

---

コンストラクタとデストラクタ

checkmate::DualDfpn::Shared::Shared

(

)

[inline]

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

参照先 osl::BLACK, checkmate::DualDfpn::Shared::blocking_verify, checkmate::DualDfpn::Shared::gc_threshold, checkmate::DualDfpn::Shared::last_gc, checkmate::DualDfpn::Shared::main_node_count, checkmate::DualDfpn::Shared::pool, checkmate::DualDfpn::Shared::shared_table_gc_wait, checkmate::DualDfpn::Shared::shared_table_user, checkmate::DualDfpn::Shared::simulation_count, osl::checkmate::DualDfpn::table(), と osl::WHITE.

checkmate::DualDfpn::Shared::~Shared

(

)

[inline]

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

参照先 checkmate::DualDfpn::Shared::showStats().

---

関数

void checkmate::DualDfpn::Shared::addMainNodeCount

(

int

add

)

[inline]

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

参照先 checkmate::DualDfpn::Shared::addMainNodeCount(), と checkmate::DualDfpn::Shared::main_node_count.

参照元 checkmate::DualDfpn::Shared::addMainNodeCount().

void checkmate::DualDfpn::Shared::addSimulationNodeCount

(

int

add

)

[inline]

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

参照先 checkmate::DualDfpn::Shared::addSimulationNodeCount(), と checkmate::DualDfpn::Shared::simulation_count.

参照元 checkmate::DualDfpn::Shared::addSimulationNodeCount().

void checkmate::DualDfpn::Shared::showStats

(

)

[inline]

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

参照先 checkmate::DualDfpn::Shared::main_node_count, checkmate::DualDfpn::Shared::pool, checkmate::DualDfpn::Shared::proof_by_oracle, checkmate::DualDfpn::Shared::showStats(), checkmate::DualDfpn::Shared::simulation_count, と osl::checkmate::DualDfpn::table().

参照元 checkmate::DualDfpn::Shared::showStats(), と checkmate::DualDfpn::Shared::~Shared().

---

変数

CArray<bool,2> checkmate::DualDfpn::Shared::blocking_verify

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

参照元 checkmate::DualDfpn::Shared::Shared().

disproof_table_t checkmate::DualDfpn::Shared::disproof_table

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

volatile size_t checkmate::DualDfpn::Shared::gc_threshold

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

参照元 checkmate::DualDfpn::Shared::Shared().

volatile size_t checkmate::DualDfpn::Shared::last_gc

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

参照元 checkmate::DualDfpn::Shared::Shared().

size_t checkmate::DualDfpn::Shared::main_node_count

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

参照元 checkmate::DualDfpn::Shared::addMainNodeCount(), checkmate::DualDfpn::Shared::Shared(), と checkmate::DualDfpn::Shared::showStats().

CArray<OraclePool,2> checkmate::DualDfpn::Shared::pool

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

参照元 checkmate::DualDfpn::Shared::Shared(), と checkmate::DualDfpn::Shared::showStats().

CArray<stat::Average,max_oracle_list_size> checkmate::DualDfpn::Shared::proof_by_oracle

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

参照元 checkmate::DualDfpn::Shared::showStats().

volatile int checkmate::DualDfpn::Shared::shared_table_gc_wait

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

参照元 checkmate::DualDfpn::Shared::Shared().

volatile int checkmate::DualDfpn::Shared::shared_table_user

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

参照元 checkmate::DualDfpn::Shared::Shared().

size_t checkmate::DualDfpn::Shared::simulation_count

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

参照元 checkmate::DualDfpn::Shared::addSimulationNodeCount(), checkmate::DualDfpn::Shared::Shared(), と checkmate::DualDfpn::Shared::showStats().

CArray<DfpnTable,2> checkmate::DualDfpn::Shared::table

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

---

この構造体の説明は次のファイルから生成されました:

• dualDfpn.cc