dekker.one
Atom package to provide syntax highlighting for the MiniZinc constraint modelling language
Adds function highlighting for all predicates defined in 2.0 docs
+3
CHANGELOG.md
+3
CHANGELOG.md
+50
-1
grammars/mzn.cson
+50
-1
grammars/mzn.cson
···
49
49
}
50
50
51
51
{
52
-
'match': '\\b(alldifferent|cumulative|disjunctive|inverse|partition_set)\\b'
52
+
'comment': 'Global constraints'
53
+
'match': '\\b(circuit|disjoint|maximum|maximum_arg|member|minimum|minimum_arg|network_flow|network_flow_cost|partition_set|range|roots|sliding_sum|subcircuit|sum_pred)\\b'
54
+
'name': 'support.function.mzn'
55
+
}
56
+
57
+
{
58
+
'comment': 'All-Different and related constraints'
59
+
'match': '\\b(alldifferent|all_different|all_disjoint|all_equal|alldifferent_except_0|nvalue|symmetric_all_different)\\b'
60
+
'name': 'support.function.mzn'
61
+
}
62
+
63
+
{
64
+
'comment': 'Lexicographic constraints'
65
+
'match': '\\b(lex2|lex_greater|lex_greatereq|lex_less|lex_lesseq|strict_lex2|value_precede|value_precede_chain)\\b'
66
+
'name': 'support.function.mzn'
67
+
}
68
+
69
+
{
70
+
'comment': 'Sorting constraints'
71
+
'match': '\\b(arg_sort|decreasing|increasing|sort)\\b'
72
+
'name': 'support.function.mzn'
73
+
}
74
+
75
+
{
76
+
'comment': 'Channeling constraints'
77
+
'match': '\\b(int_set_channel|inverse|inverse_set|link_set_to_booleans)\\b'
78
+
'name': 'support.function.mzn'
79
+
}
80
+
81
+
{
82
+
'comment': 'Counting constraints'
83
+
'match': '\\b(among|at_least|at_most|at_most1|count|count_eq|count_geq|count_gt|count_leq|count_lt|count_neq|distribute|exactly|global_cardinality|global_cardinality_closed|global_cardinality_low_up|global_cardinality_low_up_closed)\\b'
84
+
'name': 'support.function.mzn'
85
+
}
86
+
87
+
{
88
+
'comment': 'Packing constraints'
89
+
'match': '\\b(bin_packing|bin_packing_capa|bin_packing_load|diffn|diffn_k|diffn_nonstrict|diffn_nonstrict_k|geost|geost_bb|geost_smallest_bb|knapsack)\\b'
90
+
'name': 'support.function.mzn'
91
+
}
92
+
93
+
{
94
+
'comment': 'Scheduling constraints'
95
+
'match': '\\b(alternative|cumulative|disjunctive|disjunctive_strict|span)\\b'
96
+
'name': 'support.function.mzn'
97
+
}
98
+
99
+
{
100
+
'comment': 'Extensional constraints (table, regular etc.)'
101
+
'match': '\\b(regular|regular_nfa|table)\\b'
53
102
'name': 'support.function.mzn'
54
103
}
55
104