#include "osl/checkmate/dfpn.h"
#include "osl/checkmate/dfpnParallel.h"
#include "osl/checkmate/dfpnRecord.h"
#include "osl/checkmate/immediateCheckmate.h"
#include "osl/checkmate/fixedDepthSolverExt.h"
#include "osl/checkmate/libertyEstimator.h"
#include "osl/checkmate/pieceCost.h"
#include "osl/checkmate/proofPieces.h"
#include "osl/checkmate/disproofPieces.h"
#include "osl/checkmate/oracleAdjust.h"
#include "osl/checkmate/pawnCheckmateMoves.h"
#include "osl/checkmate/proofTreeDepthDfpn.h"
#include "osl/move_generator/escape_.h"
#include "osl/move_generator/addEffectWithEffect.h"
#include "osl/move_classifier/check_.h"
#include "osl/move_classifier/moveAdaptor.h"
#include "osl/move_classifier/pawnDropCheckmate.h"
#include "osl/csa.h"
#include "osl/stat/ratio.h"
#include "osl/hash/hashRandomPair.h"
#include "osl/bits/align16New.h"
#include "osl/oslConfig.h"
#include <tuple>
#include <unordered_map>
#include <vector>
#include <forward_list>
#include <iostream>
#include <iomanip>
#include <bitset>

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

構成
struct	osl::checkmate::SimpleTwinList
struct	osl::checkmate::DfpnPathRecord
struct	osl::checkmate::DfpnVisitLock< Enabled >
struct	osl::checkmate::DfpnPathList
class	osl::checkmate::DfpnPathTable
struct	osl::checkmate::Dfpn::NodeBase
struct	osl::checkmate::Dfpn::Node
struct	osl::checkmate::Dfpn::Tree
struct	osl::checkmate::DfpnTable::List
struct	osl::checkmate::DfpnTable::Table
struct	osl::checkmate::Dfpn::CallAttack< P >
struct	osl::checkmate::Dfpn::CallDefense< P >
struct	osl::checkmate::Dfpn::CallProofOracleAttack< P, UseTable >
struct	osl::checkmate::Dfpn::CallProofOracleDefense< P, UseTable >
ネームスペース
namespace	osl
namespace	osl::checkmate
マクロ定義
#define	GRAND_PARENT_SIMULATION
#define	GRAND_PARENT_DELAY
#define	INITIAL_DOMINANCE
#define	ROOT_PROOF_TOL 65536ul*1024
	root で打切る証明数の閾値
#define	ROOT_DISPROOF_TOL 65536ul*1024
	root で打切る反証数の閾値
#define	CHECKMATE_D2
#define	PROOF_AVERAGE
#define	DISPROOF_AVERAGE
#define	KAKINOKI_FALSE_BRANCH_SEARCH
#define	IGNORE_MONSTER_CHILD
#define	KISHIMOTO_WIDEN_THRESHOLD
#define	ADHOC_SUM_RESTRICTION
#define	AGGRESSIVE_FIND_DAG
#define	AGGRESSIVE_FIND_DAG2
#define	CHECKMATE_A3_GOLD
#define	CHECKMATE_A3_SIMULLATION
#define	MEMORIZE_SOLVED_IN_BITSET
列挙型
enum	osl::checkmate::LoopToDominance { osl::checkmate::NoLoop = 0, osl::checkmate::BadAttackLoop }
関数
int	osl::checkmate::log2 (uint32_t n)
int	osl::checkmate::slow_increase (uint32_t n)
int	osl::checkmate::attackProofCost (Player attacker, const NumEffectState &state, Move move)
変数
static const int	UpwardWeight = 2
static const int	SacrificeBlockCount = 0
static const int	LongDropCount = 1
static const int	MaxDagTraceDepth = 1600
static const unsigned int	NoPromoeIgnoreProofThreshold = 100
static const unsigned int	NoPromoeIgnoreDisproofThreshold = 200
static const unsigned int	IgnoreUpwardProofThreshold = 100
static const unsigned int	IgnoreUpwardDisproofThreshold = 100
static const unsigned int	InitialDominanceProofMax = 35
static const unsigned int	InitialDominanceDisproofMax = 110
static const unsigned int	DagFindThreshold = 64
static const unsigned int	DagFindThreshold2 = 256
static const int	EnableGCDepth = 512
static const int	AdHocSumScale = 128
static const size_t	GrowthLimitInfty = std::numeric_limits<size_t>::max()
const int	ProofSimulationTolerance = 1024
static size_t	timer = 0
const size_t	debug_time_start = 3851080
static const size_t	root_proof_simulation_limit = 999999999