equal
deleted
inserted
replaced
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 <button id="ai-deep-max-score-corner">deep max score corner</button> |
|
92 <button id="ai-expectimax">expectimax</button> |
92 </div> |
93 </div> |
93 </div> |
94 </div> |
94 |
95 |
95 <div id="report-area" class="area"> |
96 <div id="report-area" class="area"> |
96 <h1>Reports</h1> |
97 <h1>Reports</h1> |
356 ui.ai = new ai.deepMaxScore(ui.brdEngine); |
357 ui.ai = new ai.deepMaxScore(ui.brdEngine); |
357 }); |
358 }); |
358 document.getElementById("ai-deep-max-score-corner").addEventListener("click", function() { |
359 document.getElementById("ai-deep-max-score-corner").addEventListener("click", function() { |
359 ui.ai = new ai.deepMaxScoreCorner(ui.brdEngine); |
360 ui.ai = new ai.deepMaxScoreCorner(ui.brdEngine); |
360 }); |
361 }); |
|
362 document.getElementById("ai-expectimax").addEventListener("click", function() { |
|
363 ui.ai = new ai.expectimax(ui.brdEngine); |
|
364 }); |
361 |
365 |
362 </script> |
366 </script> |
363 |
367 |
364 </body> |
368 </body> |
365 </html> |
369 </html> |