クラス osl::ntesuki::OracleProverLight

#include <oracleProverLight.h>

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

Collaboration graph
[凡例]

すべてのメンバ一覧

Public 型

typedef NtesukiTable table_t
typedef NumEffectState state_t
typedef NtesukiMoveGenerator gen_t

Public メソッド

 OracleProverLight (state_t &s, gen_t *g, PathEncoding p, table_t &t, NtesukiRecord::ISScheme isscheme=NtesukiRecord::no_is)
template<Player P>
bool startFromAttack (NtesukiRecord *record, const NtesukiRecord *record_orig, const unsigned int pass_left)
template<Player P>
bool startFromDefense (NtesukiRecord *record, const NtesukiRecord *record_orig, const unsigned int pass_left)
template<Player P>
bool attack (const NtesukiRecord *record_orig, const unsigned int pass_left)
template<Player P>
bool defense (const NtesukiRecord *record_orig, const unsigned int pass_left)
template<Player P>
bool startFromAttack (NtesukiRecord *record, const NtesukiRecord *record_orig, const unsigned int pass_left)
template<Player P>
bool startFromDefense (NtesukiRecord *record, const NtesukiRecord *record_orig, const unsigned int pass_left)
template<osl::Player Attacker>
const osl::checkmate::ProofDisproof attack (ProofOracleAttack< Attacker > oracle)
template<osl::Player Attacker>
const osl::checkmate::ProofDisproof defense (ProofOracleDefense< Attacker > oracle)

Private メソッド

template<Player P>
bool attack (const NtesukiRecord *oracle, const unsigned int pass_left)
template<Player P>
bool defense (const NtesukiRecord *oracle, const unsigned int pass_left)

Private 変数

state_tstate
gen_tmg
PathEncoding path
table_ttable
NtesukiRecord::ISScheme isscheme
int fixed_search_depth


説明

ntesuki/oracleProverLight.h16 行で定義されています。


型定義

ntesuki/oracleProverLight.h19 行で定義されています。

ntesuki/oracleProverLight.h20 行で定義されています。

ntesuki/oracleProverLight.h21 行で定義されています。


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

osl::ntesuki::OracleProverLight::OracleProverLight ( state_t s,
gen_t g,
PathEncoding  p,
table_t t,
NtesukiRecord::ISScheme  isscheme = NtesukiRecord::no_is 
) [inline, explicit]

ntesuki/oracleProverLight.h34 行で定義されています。


関数

template<Player P>
template bool osl::ntesuki::OracleProverLight::startFromAttack< WHITE > ( NtesukiRecord record,
const NtesukiRecord record_orig,
const unsigned int  pass_left 
) [inline]

template<Player P>
template bool osl::ntesuki::OracleProverLight::startFromDefense< WHITE > ( NtesukiRecord record,
const NtesukiRecord record_orig,
const unsigned int  pass_left 
) [inline]

template<Player P>
bool osl::ntesuki::OracleProverLight::attack ( const NtesukiRecord oracle,
const unsigned int  pass_left 
) [inline, private]

template<Player P>
bool osl::ntesuki::OracleProverLight::defense ( const NtesukiRecord oracle,
const unsigned int  pass_left 
) [inline, private]

template<Player P>
bool osl::ntesuki::OracleProverLight::attack ( const NtesukiRecord record_orig,
const unsigned int  pass_left 
) [inline]

template<Player P>
bool osl::ntesuki::OracleProverLight::defense ( const NtesukiRecord record_orig,
const unsigned int  pass_left 
) [inline]

template<Player P>
bool osl::ntesuki::OracleProverLight::startFromAttack ( NtesukiRecord record,
const NtesukiRecord record_orig,
const unsigned int  pass_left 
) [inline]

template<Player P>
bool osl::ntesuki::OracleProverLight::startFromDefense ( NtesukiRecord record,
const NtesukiRecord record_orig,
const unsigned int  pass_left 
) [inline]

template<osl::Player Attacker>
const osl::checkmate::ProofDisproof osl::ntesuki::OracleProverLight::attack ( ProofOracleAttack< Attacker >  oracle  )  [inline]

template<osl::Player Attacker>
const osl::checkmate::ProofDisproof osl::ntesuki::OracleProverLight::defense ( ProofOracleDefense< Attacker >  oracle  )  [inline]


変数

ntesuki/oracleProverLight.h23 行で定義されています。

ntesuki/oracleProverLight.h24 行で定義されています。

ntesuki/oracleProverLight.h25 行で定義されています。

ntesuki/oracleProverLight.h26 行で定義されています。

ntesuki/oracleProverLight.h27 行で定義されています。

ntesuki/oracleProverLight.h28 行で定義されています。


このクラスの説明は次のファイルから生成されました:

Thu Oct 8 05:01:17 2009に生成されました。  doxygen 1.5.6