Difference between revisions of "Sudoku"
From BP Wiki
(→Events) |
|||
| Line 15: | Line 15: | ||
** boxrow: The row of the 3X3 box in which this cell resides (1-3) | ** boxrow: The row of the 3X3 box in which this cell resides (1-3) | ||
** boxcol: the column of the 3X3 box in which this cell resides (1-3) | ** boxcol: the column of the 3X3 box in which this cell resides (1-3) | ||
| − | The triggering of the event symbolizes the writing of the digit in the associated cell. | + | The triggering of the event symbolizes the writing of the digit in the associated cell. |
== b-threads == | == b-threads == | ||
* DefaultMove: Each of the 81 instances of this b-thread class, is associated with a cell, and requests all possible 9 digits | * DefaultMove: Each of the 81 instances of this b-thread class, is associated with a cell, and requests all possible 9 digits | ||
Revision as of 11:18, 15 April 2014
Contents
Sudoku
In this example one can see two properties of behavioral programming
- How different heuristics and pieces of knowledge about the problem domain can be used separately to program an application
- How model-checking can be used to help find a desired scenario.
Requirements
In the cells of a 9X9 grid which is also divided into 9 3X3 boxes, place the digits 1-9 such that in each row, column and box, each digit appears exactly once.
Events
- Move: A single event class with 9X9X9 = 721 instances. The class has 5 data fields:
- number: the number written in the cell (1-9)
- row: The row of the cell (1-9)
- col: the column of the cell (1-9)
- boxrow: The row of the 3X3 box in which this cell resides (1-3)
- boxcol: the column of the 3X3 box in which this cell resides (1-3)
The triggering of the event symbolizes the writing of the digit in the associated cell.
b-threads
- DefaultMove: Each of the 81 instances of this b-thread class, is associated with a cell, and requests all possible 9 digits
