00001 #include "osl/ntesuki/oracleProverLight.h"
00002 #include "osl/ntesuki/oracleProverLight.tcc"
00003 #include "osl/ntesuki/ntesukiMoveGenerator.h"
00004
00005 typedef NumEffectState state_t;
00006
00007 osl::ntesuki::OracleProverLight::
00008 OracleProverLight(state_t& s,
00009 gen_t *g,
00010 PathEncoding p,
00011 table_t& t,
00012 NtesukiRecord::ISScheme ischeme);
00013
00014 template bool osl::ntesuki::OracleProverLight::
00015 startFromAttack<BLACK>(NtesukiRecord *record,
00016 const NtesukiRecord* record_orig,
00017 const unsigned int pass_left);
00018 template bool osl::ntesuki::OracleProverLight::
00019 startFromAttack<WHITE>(NtesukiRecord *record,
00020 const NtesukiRecord* record_orig,
00021 const unsigned int pass_left);
00022
00023
00024 template bool osl::ntesuki::OracleProverLight::
00025 startFromDefense<BLACK>(NtesukiRecord *record,
00026 const NtesukiRecord* record_orig,
00027 const unsigned int pass_left);
00028 template bool osl::ntesuki::OracleProverLight::
00029 startFromDefense<WHITE>(NtesukiRecord *record,
00030 const NtesukiRecord* record_orig,
00031 const unsigned int pass_left);
00032
00033
00034
00035
00036
00037
00038