#include <dfpn.h>

osl::checkmate::Dfpnのコラボレーション図

構成
struct	CallAttack
struct	CallDefense
struct	CallProofOracleAttack
struct	CallProofOracleDefense
struct	DepthLimitReached
struct	Node
struct	NodeBase
struct	ProofOracle
struct	Tree
Public 型
enum	{ DfpnMaxUniqMoves = CheckOrEscapeMaxUniqMoves }
typedef CheckMoveVector	DfpnMoveVector
typedef DfpnTable	table_t
Public メソッド
	Dfpn ()
	~Dfpn ()
void	setTable (DfpnTable *new_table)
void	setIllegal (const HashKey &key, PieceStand white)
void	setBlockingVerify (bool enable=true)
void	setParallel (int id, DfpnShared *s)
const ProofDisproof	hasCheckmateMove (const NumEffectState &state, const HashKey &key, const PathEncoding &path, size_t limit, Move &best_move, Move last_move=Move::INVALID(), std::vector< Move > *pv=0)
const ProofDisproof	hasCheckmateMove (const NumEffectState &state, const HashKey &key, const PathEncoding &path, size_t limit, Move &best_move, PieceStand &proof, Move last_move=Move::INVALID(), std::vector< Move > *pv=0)
const ProofDisproof	hasEscapeMove (const NumEffectState &state, const HashKey &key, const PathEncoding &path, size_t limit, Move last_move)
size_t	nodeCount () const
const DfpnTable &	currentTable () const
void	analyze (const PathEncoding &path, const NumEffectState &state, const std::vector< Move > &moves) const
void	clear ()
template<Player P>
void	attack ()
template<Player P>
void	defense ()
template<Player P, bool UseTable>
void	proofOracleAttack (const ProofOracle &oracle, int proof_limit)
template<Player P, bool UseTable>
void	proofOracleDefense (const ProofOracle &oracle, int proof_limit)
template<Player P>
void	blockingSimulation (int seed, const ProofOracle &)
	合駒が詰と判った直後に、同じような合駒を詰める
template<Player P>
void	grandParentSimulation (int cur_move, const Node &gparent, int gp_move)
const ProofDisproof	tryProof (const NumEffectState &state, const HashKey &key, const PathEncoding &path, const ProofOracle &, size_t oracle_id, Move &best_move, Move last_move=Move::INVALID())
const ProofDisproof	tryProofLight (const NumEffectState &state, const HashKey &key, const PathEncoding &path, const ProofOracle &, size_t oracle_id, Move &best_move, Move last_move=Move::INVALID())
int	distance (const HashKey &) const
bool	grandParentSimulationSuitable () const
	test suitability of simulation of grand-parent relation
Static Public メソッド
template<Player P>
static void	generateCheck (const NumEffectState &, DfpnMoveVector &, bool &)
	Pは攻撃側.
template<Player P>
static void	generateEscape (const NumEffectState &, bool need_full_width, Square grand_parent_delay_last_to, DfpnMoveVector &)
	Pは攻撃側.
template<Player Turn>
static void	sort (const NumEffectState &, DfpnMoveVector &)
Private メソッド
	Dfpn (const Dfpn &)
Dfpn &	operator= (const Dfpn &)
template<bool UseTable>
const ProofDisproof	tryProofMain (const NumEffectState &state, const HashKey &key, const PathEncoding &path, const ProofOracle &, size_t oracle_id, Move &best_move, Move last_move)
void	findDagSource ()
void	findDagSource (const HashKey &terminal_key, DfpnRecord &terminal_record, PieceStand terminal_stand, int offset=0)
Private 変数
DfpnTable *	table
std::unique_ptr< Tree >	tree
std::unique_ptr< DfpnPathTable >	path_table
size_t	node_count
size_t	node_count_limit
DfpnShared *	parallel_shared
int	thread_id
bool	blocking_verify

説明

詰探索

dfpn.h の 106 行で定義されています。

型定義

typedef CheckMoveVector osl::checkmate::Dfpn::DfpnMoveVector

dfpn.h の 112 行で定義されています。

typedef DfpnTable osl::checkmate::Dfpn::table_t

dfpn.h の 113 行で定義されています。

列挙型

anonymous enum

列挙型の値:

DfpnMaxUniqMoves

dfpn.h の 111 行で定義されています。

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

osl::checkmate::Dfpn::Dfpn ( const Dfpn & ) [private]

osl::checkmate::Dfpn::Dfpn ( )

dfpn.cc の 1287 行で定義されています。

osl::checkmate::Dfpn::~Dfpn ( )

dfpn.cc の 1292 行で定義されています。

関数

void osl::checkmate::Dfpn::analyze	(	const PathEncoding &	path,
		const NumEffectState &	state,
		const std::vector< Move > &	moves
	)			const

template<osl::Player P>

void osl::checkmate::Dfpn::attack ( )

dfpn.cc の 1656 行で定義されています。

参照元 proofOracleAttack(), と osl::checkmate::Dfpn::Node::setCheckmateAttack().

template<osl::Player P>

void osl::checkmate::Dfpn::blockingSimulation	(	int	seed,
		const ProofOracle &	oracle
	)

合駒が詰と判った直後に、同じような合駒を詰める

dfpn.cc の 3046 行で定義されています。

void osl::checkmate::Dfpn::clear ( )

dfpn.cc の 1305 行で定義されています。

参照先 path_table.

const DfpnTable& osl::checkmate::Dfpn::currentTable ( ) const [inline]

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

参照先 table.

template<osl::Player P>

void osl::checkmate::Dfpn::defense ( )

dfpn.cc の 2183 行で定義されています。

参照元 osl::checkmate::Dfpn::Node::setNoCheckmateDefense().

int osl::checkmate::Dfpn::distance ( const HashKey & key ) const

dfpn.cc の 3131 行で定義されています。

参照先 osl::checkmate::DfpnPathRecord::distance, と path_table.

参照元 osl::checkmate::DualDfpn::distance().

void osl::checkmate::Dfpn::findDagSource ( ) [private]

dfpn.cc の 1647 行で定義されています。

参照先 tree.

参照元 attack(), defense(), proofOracleAttack(), と proofOracleDefense().

void osl::checkmate::Dfpn::findDagSource	(	const HashKey &	terminal_key,
		DfpnRecord &	terminal_record,
		PieceStand	terminal_stand,
		int	offset = `0`
	)			`[private]`

dfpn.cc の 1606 行で定義されています。

参照先 osl::checkmate::DfpnTable::addDag(), osl::alt(), osl::checkmate::DfpnRecordBase::dag_terminal, osl::Move::isNormal(), osl::checkmate::DfpnRecordBase::last_move, MaxDagTraceDepth, osl::eval::min(), parallel_shared, osl::Move::player(), osl::PieceStand::previousStand(), osl::checkmate::DfpnTable::probe(), table, tree, と osl::WHITE.

template<osl::Player P>

void osl::checkmate::Dfpn::generateCheck	(	const NumEffectState &	state,
		DfpnMoveVector &	moves,
		bool &	has_pawn_checkmate
	)			`[static]`

Pは攻撃側.

dfpn.cc の 1573 行で定義されています。

参照先 osl::alt(), osl::FixedCapacityVector< T, Capacity >::empty(), osl::usi::escape(), osl::PtypeTable::getEffect(), osl::NumEffectState::inCheck(), osl::SimpleState::kingSquare(), osl::SimpleState::pieceAt(), osl::NumEffectState::pinOrOpen(), osl::Ptype_Table, osl::FixedCapacityVector< T, Capacity >::push_back(), osl::PieceMask::test(), と osl::unpromote().

template<osl::Player P>

void osl::checkmate::Dfpn::generateEscape	(	const NumEffectState &	state,
		bool	need_full_width,
		Square	grand_parent_delay_last_to,
		DfpnMoveVector &	moves
	)			`[static]`

Pは攻撃側.

dfpn.cc の 2105 行で定義されています。

参照先 osl::alt(), osl::FixedCapacityVector< T, Capacity >::begin(), osl::FixedCapacityVector< T, Capacity >::empty(), osl::NumEffectState::hasEffectAt(), osl::NumEffectState::hasEffectNotBy(), osl::SimpleState::kingPiece(), osl::FixedCapacityVector< T, Capacity >::push_back(), と osl::FixedCapacityVector< T, Capacity >::size().

template<osl::Player P>

void osl::checkmate::Dfpn::grandParentSimulation	(	int	cur_move,
		const Node &	gparent,
		int	gp_move
	)

bool osl::checkmate::Dfpn::grandParentSimulationSuitable ( ) const

test suitability of simulation of grand-parent relation

dfpn.cc の 2162 行で定義されています。

参照先 osl::Move::from(), osl::Move::isCapture(), osl::Move::isNormal(), osl::checkmate::Dfpn::NodeBase::moved, osl::Move::to(), と tree.

参照元 defense(), と proofOracleDefense().

const osl::checkmate::ProofDisproof osl::checkmate::Dfpn::hasCheckmateMove	(	const NumEffectState &	state,
		const HashKey &	key,
		const PathEncoding &	path,
		size_t	limit,
		Move &	best_move,
		Move	last_move = `Move::INVALID()`,
		std::vector< Move > *	pv = `0`
	)

dfpn.cc の 1329 行で定義されています。

参照元 osl::checkmate::DualDfpn::findProof().

const osl::checkmate::ProofDisproof osl::checkmate::Dfpn::hasCheckmateMove	(	const NumEffectState &	state,
		const HashKey &	key,
		const PathEncoding &	path,
		size_t	limit,
		Move &	best_move,
		PieceStand &	proof,
		Move	last_move = `Move::INVALID()`,
		std::vector< Move > *	pv = `0`
	)

dfpn.cc の 1339 行で定義されています。

const osl::checkmate::ProofDisproof osl::checkmate::Dfpn::hasEscapeMove	(	const NumEffectState &	state,
		const HashKey &	key,
		const PathEncoding &	path,
		size_t	limit,
		Move	last_move
	)

dfpn.cc の 1469 行で定義されています。

size_t osl::checkmate::Dfpn::nodeCount ( ) const [inline]

dfpn.h の 152 行で定義されています。

参照先 node_count.

参照元 osl::checkmate::DualDfpn::findProof().

Dfpn& osl::checkmate::Dfpn::operator= ( const Dfpn & ) [private]

template<osl::Player P, bool UseTable>

void osl::checkmate::Dfpn::proofOracleAttack	(	const ProofOracle &	oracle,
		int	proof_limit
	)

dfpn.cc の 2746 行で定義されています。

template<osl::Player P, bool UseTable>

void osl::checkmate::Dfpn::proofOracleDefense	(	const ProofOracle &	oracle,
		int	proof_limit
	)

dfpn.cc の 2872 行で定義されています。

void osl::checkmate::Dfpn::setBlockingVerify ( bool enable = true ) [inline]

dfpn.h の 131 行で定義されています。

参照先 blocking_verify.

void osl::checkmate::Dfpn::setIllegal	(	const HashKey &	key,
		PieceStand	white
	)

dfpn.cc の 1311 行で定義されています。

参照先 osl::checkmate::DfpnTable::attack(), osl::BLACK, osl::checkmate::ProofDisproof::NoCheckmate(), path_table, osl::checkmate::DfpnTable::store(), table, osl::checkmate::DfpnPathRecord::visiting, と osl::WHITE.

参照元 osl::checkmate::DualDfpn::writeRootHistory().

void osl::checkmate::Dfpn::setParallel	(	int	id,
		DfpnShared *	s
	)			`[inline]`

dfpn.h の 132 行で定義されています。

参照先 parallel_shared, と thread_id.

void osl::checkmate::Dfpn::setTable ( DfpnTable * new_table )

dfpn.cc の 1296 行で定義されています。

参照先 EnableGCDepth, osl::checkmate::DfpnTable::growthLimit(), GrowthLimitInfty, parallel_shared, path_table, osl::checkmate::DfpnTable::setMaxDepth(), table, と tree.

template<osl::Player Turn>

void osl::checkmate::Dfpn::sort	(	const NumEffectState &	state,
		DfpnMoveVector &	moves
	)			`[static]`

dfpn.cc の 1555 行で定義されています。

参照先 osl::FixedCapacityVector< T, Capacity >::begin(), と osl::FixedCapacityVector< T, Capacity >::size().

const osl::checkmate::ProofDisproof osl::checkmate::Dfpn::tryProof	(	const NumEffectState &	state,
		const HashKey &	key,
		const PathEncoding &	path,
		const ProofOracle &	oracle,
		size_t	oracle_id,
		Move &	best_move,
		Move	last_move = `Move::INVALID()`
	)

dfpn.cc の 1393 行で定義されています。

const osl::checkmate::ProofDisproof osl::checkmate::Dfpn::tryProofLight	(	const NumEffectState &	state,
		const HashKey &	key,
		const PathEncoding &	path,
		const ProofOracle &	oracle,
		size_t	oracle_id,
		Move &	best_move,
		Move	last_move = `Move::INVALID()`
	)

dfpn.cc の 1401 行で定義されています。

template<bool UseTable>

const osl::checkmate::ProofDisproof osl::checkmate::Dfpn::tryProofMain	(	const NumEffectState &	state,
		const HashKey &	key,
		const PathEncoding &	path,
		const ProofOracle &	oracle,
		size_t	oracle_id,
		Move &	best_move,
		Move	last_move
	)			`[private]`