Dekker1/language-mzn
Archived
1
0
Fork 0
Code

Removes newlines from the snippets

Browse Source
This commit is contained in:
Jip J. Dekker 2015-12-02 18:57:13 +01:00
parent f500f00591
commit 6e487e7ea2
1 changed files with 7 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
snippets/language-mzn.cson
View File

@ -1,29 +1,23 @@
'.source.mzn':
'import globals':
'prefix': 'glob'
'body': 'include "globals.mzn";\n$1'
'body': 'include "globals.mzn";$1'
'array declaration':
'prefix': 'arr'
'body': 'array[$1] of ${2:int}: $3;\n$4'
'body': 'array[$1] of ${2:int}: $3;$4'
'forall':
'prefix': 'for'
'body': 'forall($1) (\n\t$2\n)\n$3'
'forall with in':
'prefix': 'fori'
'body': 'forall($1 in $2) (\n\t$3\n)\n$4'
'body': 'forall($1) (\t$2)$3'
'sum':
'prefix': 'sum'
'body': 'sum($1) (\n\t$2\n)\n$3'
'sum with in':
'prefix': 'sumi'
'body': 'sum($1 in $2) (\n\t$3\n)\n$4'
'body': 'sum($1) ($2)$3'
'solve satisfy':
'prefix': 'solve'
'body': 'solve satisfy;\n$1'
'body': 'solve satisfy;$1'
'solve minimize':
'prefix': 'min'
'body': 'solve minimize $1;\n$2'
'body': 'solve minimize $1;$2'
'solve maximize':
'prefix': 'max'
'body': 'solve maximize $1;\n$2'
'body': 'solve maximize $1;$2'