ntesukiSimulationSearcher.cc Source File

- Main Page
- Namespaces
- Classes
- Files

- File List
- File Members

All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
ntesukiSimulationSearcher.cc
Go to the documentation of this file.
1 #include "osl/ntesuki/ntesukiSimulationSearcherProof.tcc"
2 #include "osl/ntesuki/ntesukiSimulationSearcherDisproof.tcc"
3 #include "osl/ntesuki/ntesukiMoveGenerator.h"
4
5 typedef NumEffectState state_t;
6
7 /* Constructor/ Destructor
8 */
9 osl::ntesuki::NtesukiSimulationSearcher::
10 NtesukiSimulationSearcher(state_t& state,
11 NtesukiMoveGenerator *mg,
12 PathEncoding&
13 path,
14 NtesukiTable& table,
15 NtesukiRecord::ISScheme isscheme,
16 bool verbose)
17 : node_count(0),
18 verbose(verbose),
19 proof_count(0),
20 proof_success_count(0),
21 light_proof_success_count(0),
22 disproof_count(0),
23 disproof_success_count(0),
24 debug(false),
25 state(state),
26 mg(mg),
27 path(path),
28 table(table),
29 isscheme(isscheme)
30 {
31 }
32
33 osl::ntesuki::NtesukiSimulationSearcher::
34 ~NtesukiSimulationSearcher()
35 {
36 if (verbose)
37 std::cerr << "~NtesukiSimulationSeacher:\t("
38 << node_count
39 << ")\tproof("
40 << light_proof_success_count << "/"
41 << proof_success_count << "/"
42 << proof_count
43 << ")\tdisproof("
44 << disproof_success_count << "/"
45 << disproof_count
46 << ")" << std::endl;
47 }
48
49 template bool osl::ntesuki::NtesukiSimulationSearcher::
50 startFromAttackProof<BLACK>(NtesukiRecord *record,
51 const NtesukiRecord* record_orig,
52 const unsigned int passLeft,
53 const Move last_move);
54
55 template bool osl::ntesuki::NtesukiSimulationSearcher::
56 startFromAttackProof<WHITE>(NtesukiRecord *record,
57 const NtesukiRecord* record_orig,
58 const unsigned int passLeft,
59 const Move last_move);
60
61 template bool osl::ntesuki::NtesukiSimulationSearcher::
62 startFromDefenseProof<BLACK>(NtesukiRecord *record,
63 const NtesukiRecord* record_orig,
64 const unsigned int passLeft,
65 const Move last_move);
66
67 template bool osl::ntesuki::NtesukiSimulationSearcher::
68 startFromDefenseProof<WHITE>(NtesukiRecord *record,
69 const NtesukiRecord* record_orig,
70 const unsigned int passLeft,
71 const Move last_move);
72
73 template bool osl::ntesuki::NtesukiSimulationSearcher::
74 startFromAttackDisproof<BLACK>(NtesukiRecord *record,
75 const NtesukiRecord* record_orig,
76 const unsigned int passLeft,
77 const Move last_move);
78
79 template bool osl::ntesuki::NtesukiSimulationSearcher::
80 startFromAttackDisproof<WHITE>(NtesukiRecord *record,
81 const NtesukiRecord* record_orig,
82 const unsigned int passLeft,
83 const Move last_move);
84
85 template bool osl::ntesuki::NtesukiSimulationSearcher::
86 startFromDefenseDisproof<BLACK>(NtesukiRecord *record,
87 const NtesukiRecord* record_orig,
88 const unsigned int passLeft,
89 const Move last_move);
90
91 template bool osl::ntesuki::NtesukiSimulationSearcher::
92 startFromDefenseDisproof<WHITE>(NtesukiRecord *record,
93 const NtesukiRecord* record_orig,
94 const unsigned int passLeft,
95 const Move last_move);
96
97 /* ------------------------------------------------------------------------- */
98 // ;;; Local Variables:
99 // ;;; mode:c++
100 // ;;; c-basic-offset:2
101 // ;;; End: