クラス osl::ntesuki::NtesukiSimulationSearcher

#include <ntesukiSimulationSearcher.h>

osl::ntesuki::NtesukiSimulationSearcherのコラボレーション図

構成
class	AttackHelperDisproof
class	AttackHelperProof
class	DefenseHelperDisproof
class	DefenseHelperProof
Public メソッド
	NtesukiSimulationSearcher (state_t &state, NtesukiMoveGenerator *mg, PathEncoding &path, NtesukiTable &table, NtesukiRecord::ISScheme isscheme, bool verbose=false)
	~NtesukiSimulationSearcher ()
template<Player P>
bool	startFromAttackProof (NtesukiRecord record, const NtesukiRecord record_orig, const unsigned int passLeft, const Move last_move)
	Start simulation to proof, P as Attacker.
template<Player P>
bool	startFromDefenseProof (NtesukiRecord record, const NtesukiRecord record_orig, const unsigned int passLeft, const Move last_move)
	Start simulation to proof, P as Defender.
template<Player P>
bool	startFromAttackDisproof (NtesukiRecord record, const NtesukiRecord record_orig, const unsigned int passLeft, const Move last_move)
	Start simulation to disproof, P as Attacker.
template<Player P>
bool	startFromDefenseDisproof (NtesukiRecord record, const NtesukiRecord record_orig, const unsigned int passLeft, const Move last_move)
	Start simulation to disproof, P as Defender.
unsigned int	nodeCount () const
Public 変数
bool	debug
Private メソッド
template<Player P>
bool	isSafeMove (const Move move, int pass_left)
	Still cannot see if is safe move.
template<Player P>
Move	adjustMove (Move candidate) const
template<Player P>
void	attackForProof (NtesukiRecord record, const NtesukiRecord record_orig, const unsigned int passLeft, const Move last_move)
	Proof 攻撃に関する計算.
template<Player P>
void	defenseForProof (NtesukiRecord record, const NtesukiRecord record_orig, const unsigned int passLeft, const Move last_move)
	Disproof 防御に関する計算.
template<Player P>
void	attackForDisproof (NtesukiRecord record, const NtesukiRecord record_orig, const unsigned int passLeft, const Move last_move)
	Disproof 攻撃に関する計算.
template<Player P>
void	defenseForDisproof (NtesukiRecord record, const NtesukiRecord record_orig, const unsigned int passLeft, const Move last_move)
	Disproof 防御に関する計算.
Private 変数
unsigned int	node_count
	現在までに何ノード読んだか
bool	verbose
	経過をどこまで表示するか
unsigned int	proof_count
	Simulation 結果の統計.
unsigned int	proof_success_count
unsigned int	light_proof_success_count
unsigned int	disproof_count
unsigned int	disproof_success_count
NtesukiResult	result
state_t &	state
NtesukiMoveGenerator *	mg
PathEncoding &	path
NtesukiTable &	table
NtesukiRecord::ISScheme	isscheme

説明

ntesukiSimulationSearcher.h の 15 行で定義されています。

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

osl::ntesuki::NtesukiSimulationSearcher::NtesukiSimulationSearcher	(	state_t &	state,
		NtesukiMoveGenerator *	mg,
		PathEncoding &	path,
		NtesukiTable &	table,
		NtesukiRecord::ISScheme	isscheme,
		bool	verbose = `false`
	)

ntesukiSimulationSearcher.cc の 10 行で定義されています。

osl::ntesuki::NtesukiSimulationSearcher::~NtesukiSimulationSearcher ( )

ntesukiSimulationSearcher.cc の 34 行で定義されています。

参照先 disproof_count, disproof_success_count, light_proof_success_count, node_count, proof_count, proof_success_count, と verbose.

関数

template<Player P>

Move osl::ntesuki::NtesukiSimulationSearcher::adjustMove ( Move candidate ) const [inline, private]

ntesukiSimulationSearcher.h の 56 行で定義されています。

参照先 osl::state::SimpleState::getPieceOnBoard(), osl::Move::isDrop(), osl::Move::isValid(), と osl::Move::to().

template<Player P>

void NtesukiSimulationSearcher::attackForDisproof	(	NtesukiRecord *	record,
		const NtesukiRecord *	record_orig,
		const unsigned int	passLeft,
		const Move	last_move
	)			`[inline, private]`

Disproof 攻撃に関する計算.

ntesukiSimulationSearcherDisproof.tcc の 92 行で定義されています。

template<Player P>

void NtesukiSimulationSearcher::attackForProof	(	NtesukiRecord *	record,
		const NtesukiRecord *	record_orig,
		const unsigned int	passLeft,
		const Move	last_move
	)			`[inline, private]`

Proof 攻撃に関する計算.

ntesukiSimulationSearcherProof.tcc の 143 行で定義されています。

template<Player P>

void NtesukiSimulationSearcher::defenseForDisproof	(	NtesukiRecord *	record,
		const NtesukiRecord *	record_orig,
		const unsigned int	passLeft,
		const Move	last_move
	)			`[inline, private]`

template<Player P>

void NtesukiSimulationSearcher::defenseForProof	(	NtesukiRecord *	record,
		const NtesukiRecord *	record_orig,
		const unsigned int	passLeft,
		const Move	last_move
	)			`[inline, private]`

Disproof 防御に関する計算.

ntesukiSimulationSearcherProof.tcc の 304 行で定義されています。

template<Player P>

bool NtesukiSimulationSearcher::isSafeMove	(	const Move	move,
		int	pass_left
	)			`[inline, private]`

Still cannot see if is safe move.

ntesukiSimulationSearcherProof.tcc の 130 行で定義されています。

参照先 osl::Move::from(), osl::Move::isDrop(), osl::state::SimpleState::isValidMove(), osl::Move::ptype(), state, と osl::Move::to().

unsigned int osl::ntesuki::NtesukiSimulationSearcher::nodeCount ( ) const [inline]

ntesukiSimulationSearcher.h の 153 行で定義されています。

template<Player P>

template bool osl::ntesuki::NtesukiSimulationSearcher::startFromAttackDisproof< WHITE >	(	NtesukiRecord *	record,
		const NtesukiRecord *	record_orig,
		const unsigned int	passLeft,
		const Move	last_move
	)			`[inline]`

Start simulation to disproof, P as Attacker.

戻り値:: true, if nocheckmate is proven

ntesukiSimulationSearcherDisproof.tcc の 396 行で定義されています。

参照先 CATCH_DFPN, disproof_count, disproof_success_count, osl::ntesuki::NtesukiRecord::getValue(), ntesuki_assert, result, と TRY_DFPN.

template<Player P>

template bool osl::ntesuki::NtesukiSimulationSearcher::startFromAttackProof< WHITE >	(	NtesukiRecord *	record,
		const NtesukiRecord *	record_orig,
		const unsigned int	passLeft,
		const Move	last_move
	)			`[inline]`

Start simulation to proof, P as Attacker.

戻り値:: true, if checkmate is proven

ntesukiSimulationSearcherProof.tcc の 494 行で定義されています。

参照先 CATCH_DFPN, osl::ntesuki::NtesukiRecord::getBestMove(), osl::state::SimpleState::getTurn(), osl::ntesuki::NtesukiRecord::getValueWithPath(), osl::ntesuki::NtesukiRecord::isDominatedByProofPieces(), osl::ntesuki::NtesukiMove::isImmediateCheckmate(), isscheme, light_proof_success_count, mg, ntesuki_assert, path, proof_count, proof_success_count, result, osl::ntesuki::NtesukiRecord::setUpNode(), osl::ntesuki::OracleProverLight::startFromAttack(), state, table, と TRY_DFPN.

template<Player P>

template bool osl::ntesuki::NtesukiSimulationSearcher::startFromDefenseDisproof< WHITE >	(	NtesukiRecord *	record,
		const NtesukiRecord *	record_orig,
		const unsigned int	passLeft,
		const Move	last_move
	)			`[inline]`

Start simulation to disproof, P as Defender.

戻り値:: true, if nocheckmate is proven

ntesukiSimulationSearcherDisproof.tcc の 424 行で定義されています。

参照先 CATCH_DFPN, disproof_count, disproof_success_count, osl::state::SimpleState::getTurn(), osl::ntesuki::NtesukiRecord::getValue(), ntesuki_assert, result, state, と TRY_DFPN.

template<Player P>

template bool osl::ntesuki::NtesukiSimulationSearcher::startFromDefenseProof< WHITE >	(	NtesukiRecord *	record,
		const NtesukiRecord *	record_orig,
		const unsigned int	passLeft,
		const Move	last_move
	)			`[inline]`