oracleProverLight.cc
Go to the documentation of this file.
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 // ;;; Local Variables:
00036 // ;;; mode:c++
00037 // ;;; c-basic-offset:2
00038 // ;;; End:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines