GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-27 19:58:55 -06:00
Code Issues Packages Projects Releases Wiki Activity

generalize the nqueens function in NQueens.gf

Browse Source
This commit is contained in:
krasimir
2010-10-13 17:53:44 +00:00
parent 2ab3081c07
commit 1c36f1fa8d
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
examples/nqueens/NQueensAscii.gf
View File

@@ -3,7 +3,7 @@ concrete NQueensAscii of NQueens = NatAscii ** {
lincat S, Matrix, Vec = Str ;
ListNat, Sat = {} ;
lin queens m = m ;
lin nqueens _ m = m ;
lin nilV _ _ = "" ;
consV _ j k _ _ v = j ++ "X" ++ k ++ ";" ++ v ;