All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
ntesukiSimulationSearcher.cc
Go to the documentation of this file.
4 
6 
7 /* Constructor/ Destructor
8  */
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 
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: