equal
deleted
inserted
replaced
86 <div> |
86 <div> |
87 <button id="ai-random">random</button> |
87 <button id="ai-random">random</button> |
88 <button id="ai-next-max-score">next max score</button> |
88 <button id="ai-next-max-score">next max score</button> |
89 <button id="ai-next-max-value">next max value</button> |
89 <button id="ai-next-max-value">next max value</button> |
90 <button id="ai-deep-max-score">deep max score</button> |
90 <button id="ai-deep-max-score">deep max score</button> |
|
91 <button id="ai-deep-max-score-corner">deep max score corner</button> |
91 </div> |
92 </div> |
92 </div> |
93 </div> |
93 |
94 |
94 <div id="report-area" class="area"> |
95 <div id="report-area" class="area"> |
95 <h1>Reports</h1> |
96 <h1>Reports</h1> |
352 ui.ai = new ai.nextMaxValue(ui.brdEngine); |
353 ui.ai = new ai.nextMaxValue(ui.brdEngine); |
353 }); |
354 }); |
354 document.getElementById("ai-deep-max-score").addEventListener("click", function() { |
355 document.getElementById("ai-deep-max-score").addEventListener("click", function() { |
355 ui.ai = new ai.deepMaxScore(ui.brdEngine); |
356 ui.ai = new ai.deepMaxScore(ui.brdEngine); |
356 }); |
357 }); |
|
358 document.getElementById("ai-deep-max-score-corner").addEventListener("click", function() { |
|
359 ui.ai = new ai.deepMaxScoreCorner(ui.brdEngine); |
|
360 }); |
357 |
361 |
358 </script> |
362 </script> |
359 |
363 |
360 </body> |
364 </body> |
361 </html> |
365 </html> |