All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
oracleProverLight.cc
Go to the documentation of this file.
4 
6 
9  gen_t *g,
10  PathEncoding p,
11  table_t& t,
12  NtesukiRecord::ISScheme ischeme);
13 
14 template bool osl::ntesuki::OracleProverLight::
15 startFromAttack<BLACK>(NtesukiRecord *record,
16  const NtesukiRecord* record_orig,
17  const unsigned int pass_left);
18 template bool osl::ntesuki::OracleProverLight::
19 startFromAttack<WHITE>(NtesukiRecord *record,
20  const NtesukiRecord* record_orig,
21  const unsigned int pass_left);
22 
23 
24 template bool osl::ntesuki::OracleProverLight::
25 startFromDefense<BLACK>(NtesukiRecord *record,
26  const NtesukiRecord* record_orig,
27  const unsigned int pass_left);
28 template bool osl::ntesuki::OracleProverLight::
29 startFromDefense<WHITE>(NtesukiRecord *record,
30  const NtesukiRecord* record_orig,
31  const unsigned int pass_left);
32 
33 
34 /* ------------------------------------------------------------------------- */
35 // ;;; Local Variables:
36 // ;;; mode:c++
37 // ;;; c-basic-offset:2
38 // ;;; End: