GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-20 16:42:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

use "-" and ";" instead of "_" and "\n" in NQueens

Browse Source
This commit is contained in:
krasimir
2010-10-13 13:47:22 +00:00
parent cc2232e289
commit edf46e3a4d
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
examples/nqueens/NQueensAscii.gf
View File

@@ -4,7 +4,7 @@ lincat Matrix, Vec = Str ;
ListNat, Sat = {} ; ListNat, Sat = {} ;
lin nilV _ _ = "" ; lin nilV _ _ = "" ;
consV _ j k _ _ v = j ++ "X" ++ k ++ "\n" ++ v ; consV _ j k _ _ v = j ++ "X" ++ k ++ ";" ++ v ;
matrix _ v = v ; matrix _ v = v ;

4
examples/nqueens/NatAscii.gf
View File

@@ -3,8 +3,8 @@ concrete NatAscii of Nat = {
lincat Nat = Str ; lincat Nat = Str ;
lin zero = "" ; lin zero = "" ;
succ n = "_" ++ n ; succ n = "-" ++ n ;
lincat NE = {} ; lincat NE = {} ;
} }