diff options
| author | krasimir <krasimir@chalmers.se> | 2010-10-11 17:17:04 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-10-11 17:17:04 +0000 |
| commit | 3ac637ddcb976a82dced91b36a7ceb5f0ca2ea84 (patch) | |
| tree | 0dee5ee498d8e00e7c0b617294c89a861491b0f8 /examples/nqueens/NQueensAscii.gf | |
| parent | f305587a622383c4c9489c3d1bbc899c5de1c3d6 (diff) | |
update NQueens to use: 1) lists i.e. [Nat]; 2) implicit arguments
Diffstat (limited to 'examples/nqueens/NQueensAscii.gf')
| -rw-r--r-- | examples/nqueens/NQueensAscii.gf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/nqueens/NQueensAscii.gf b/examples/nqueens/NQueensAscii.gf index 0af99435a..fabcd3c64 100644 --- a/examples/nqueens/NQueensAscii.gf +++ b/examples/nqueens/NQueensAscii.gf @@ -1,11 +1,11 @@ concrete NQueensAscii of NQueens = NatAscii ** { lincat Matrix, Vec = Str ; - Constr, Sat = {} ; + ListNat, Sat = {} ; lin nilV _ _ = "" ; consV _ j k _ _ v = j ++ "X" ++ k ++ "\n" ++ v ; matrix _ v = v ; -}
\ No newline at end of file +} |