AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2024-11-11 04:49:15 +03:00
Code Issues Packages Projects Releases Wiki Activity

[examples] Expand tic-tac-toe documentation a bit.

Browse Source
This commit is contained in:
Alessandro Coglio 2022-08-08 17:03:34 -07:00
parent d63fb7a657
commit af7b84815a
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
examples/tictactoe/src/main.leo
View File

@ -1,4 +1,9 @@
// This is suggestive of a tic-tac-toe game.
// There are two players: 1, who uses X; and 2, who uses O.
// The state of the board is captured by a value of this circuit type.
// This will work better with arrays, but for now we just expand the 9 cells.
circuit Board {
// c(ell){row}{column} (0 for empty, 1 for X, 2 for O):
c11: u8,
@ -12,6 +17,10 @@ circuit Board {
c33: u8
}
// This function checks whether a player is a winner on a board.
// It checks if there are three marks for the player
// in any row, column, or diagonal.
function win(b: Board, p: u8) -> bool {
return
(b.c11 == p && b.c12 == p && b.c13 == p) || // row 1
@ -27,6 +36,7 @@ function win(b: Board, p: u8) -> bool {
// This carries out a single move: a player (1 for X, 2 for O) marking a cell.
// The cell must be empty (i.e. contain 0), otherwise this is a no-op.
// The u8 result is the winning player, of 0 if there is no winner (yet).
@program
function main(public player: u8, row: u8, col: u8, board: Board) -> (Board, u8) {
console.assert(player == 1u8 || player == 2u8); // 1 for X, 2 for O