Main Page
Namespaces
Classes
Files
File List
File Members
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
lib
ntesuki
oracleProverLight.cc
Go to the documentation of this file.
1
#include "
osl/ntesuki/oracleProverLight.h
"
2
#include "
osl/ntesuki/oracleProverLight.tcc
"
3
#include "
osl/ntesuki/ntesukiMoveGenerator.h
"
4
5
typedef
NumEffectState
state_t
;
6
7
osl::ntesuki::OracleProverLight::
8
OracleProverLight
(
state_t
& s,
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:
Generated on Sun Jul 21 2013 13:37:26 by
1.8.4