GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-21 17:12:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

add start category S in NQueens. This helps the EditorApp to find the start category

Browse Source
This commit is contained in:
krasimir
2010-10-13 13:53:29 +00:00
parent 354838807f
commit 95713b9489
2 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
examples/nqueens/NQueens.gf
View File

@@ -1,10 +1,13 @@
abstract NQueens = Nat ** { abstract NQueens = Nat ** {
cat S ;
cat Matrix Nat ; cat Matrix Nat ;
cat [Nat] ; cat [Nat] ;
cat Vec (s,l : Nat) [Nat] ; cat Vec (s,l : Nat) [Nat] ;
cat Sat Nat Nat [Nat] ; cat Sat Nat Nat [Nat] ;
data queens : Matrix (succ (succ (succ (succ (succ (succ (succ (succ zero)))))))) -> S ;
data nilV : ({s} : Nat) -> ({c} : [Nat]) -> Vec s zero c ; data nilV : ({s} : Nat) -> ({c} : [Nat]) -> Vec s zero c ;
consV : ({l},j,k : Nat) -> consV : ({l},j,k : Nat) ->
let s = succ (plus j k) let s = succ (plus j k)

4
examples/nqueens/NQueensAscii.gf
View File

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