equal
deleted
inserted
replaced
85 <h1>AI</h1> |
85 <h1>AI</h1> |
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 </div> |
91 </div> |
91 </div> |
92 </div> |
92 |
93 |
93 <div id="report-area" class="area"> |
94 <div id="report-area" class="area"> |
94 <h1>Reports</h1> |
95 <h1>Reports</h1> |
291 ui.ai = new ai.nextMaxScore(ui.brdEngine); |
292 ui.ai = new ai.nextMaxScore(ui.brdEngine); |
292 }); |
293 }); |
293 document.getElementById("ai-next-max-value").addEventListener("click", function() { |
294 document.getElementById("ai-next-max-value").addEventListener("click", function() { |
294 ui.ai = new ai.nextMaxValue(ui.brdEngine); |
295 ui.ai = new ai.nextMaxValue(ui.brdEngine); |
295 }); |
296 }); |
|
297 document.getElementById("ai-deep-max-score").addEventListener("click", function() { |
|
298 ui.ai = new ai.deepMaxScore(ui.brdEngine); |
|
299 }); |
296 |
300 |
297 </script> |
301 </script> |
298 |
302 |
299 </body> |
303 </body> |
300 </html> |
304 </html> |