diff --git a/languages/DclareMPS/models/behavior.mps b/languages/DclareMPS/models/behavior.mps index e4a5b591..1e230045 100644 --- a/languages/DclareMPS/models/behavior.mps +++ b/languages/DclareMPS/models/behavior.mps @@ -355,6 +355,7 @@ + @@ -13745,6 +13746,7 @@ + diff --git a/languages/DclareMPS/models/constraints.mps b/languages/DclareMPS/models/constraints.mps index adb7f937..58b2bfc2 100644 --- a/languages/DclareMPS/models/constraints.mps +++ b/languages/DclareMPS/models/constraints.mps @@ -265,6 +265,7 @@ + @@ -414,6 +415,7 @@ + @@ -592,34 +594,53 @@ - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - - - + + + + + + + - + + - + @@ -1432,6 +1453,7 @@ + @@ -1531,6 +1553,7 @@ + @@ -2647,6 +2670,7 @@ + @@ -3350,6 +3374,7 @@ + @@ -4370,6 +4395,7 @@ + @@ -4622,6 +4648,7 @@ + @@ -4636,6 +4663,7 @@ + @@ -4653,6 +4681,7 @@ + @@ -4678,6 +4707,7 @@ + @@ -4702,6 +4732,7 @@ + @@ -4749,6 +4780,7 @@ + @@ -4816,6 +4848,7 @@ + @@ -5288,6 +5321,7 @@ + @@ -5312,6 +5346,7 @@ + @@ -5336,6 +5371,7 @@ + @@ -5360,6 +5396,7 @@ + @@ -5374,6 +5411,7 @@ + @@ -5560,6 +5598,7 @@ + @@ -5579,6 +5618,7 @@ + @@ -5636,6 +5676,7 @@ + @@ -5757,6 +5798,7 @@ + @@ -5776,6 +5818,7 @@ + @@ -5909,35 +5952,20 @@ - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - + + - + @@ -5965,6 +5993,7 @@ + diff --git a/languages/DclareMPS/models/typesystem.mps b/languages/DclareMPS/models/typesystem.mps index 138b8996..b2ca4492 100644 --- a/languages/DclareMPS/models/typesystem.mps +++ b/languages/DclareMPS/models/typesystem.mps @@ -304,6 +304,7 @@ + @@ -489,6 +490,7 @@ + @@ -1415,6 +1417,7 @@ + @@ -6382,6 +6385,7 @@ + @@ -7059,6 +7063,7 @@ +