There are many ways to write this predicate. However, we're going to stick with this form because it calls out an important point.
should be or instead of and
3 Matching Annotations
- Jan 2024
-
csci1710.github.io csci1710.github.io
-
-
We now have a fairly complete model for a single tic-tac-toe board. Before we progress to games, let's decide how to fix the issue we saw above, where our model allowed for boards where a player has moved too often.
Implicit "and" - need to specify "or" if two winning conditions are put into the same function
-
syntax means a set comprehension, and describes the set of row-column pairs where the board contains X (or O). The # operator gives the size of these sets, which we then compare.
e.g. 0, 0 or 1, 1 If not it means it's O's turn e.g. 1X and 0O
-