1 files changed, 37 insertions, 37 deletions

diff --git a/language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblemLexer.java b/language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblemLexer.java
index 8e000971..05537108 100644
--- a/language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblemLexer.java
+++ b/language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblemLexer.java
@@ -814,8 +814,8 @@ public class InternalProblemLexer extends Lexer {
         try {
             int _type = RULE_ID;
             int _channel = DEFAULT_TOKEN_CHANNEL;
-            // InternalProblem.g:6069:9: ( ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* )
-            // InternalProblem.g:6069:11: ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )*
+            // InternalProblem.g:5942:9: ( ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* )
+            // InternalProblem.g:5942:11: ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )*
             {
             if ( (input.LA(1)>='A' && input.LA(1)<='Z')||input.LA(1)=='_'||(input.LA(1)>='a' && input.LA(1)<='z') ) {
                 input.consume();
@@ -826,7 +826,7 @@ public class InternalProblemLexer extends Lexer {
                 recover(mse);
                 throw mse;}
 
-            // InternalProblem.g:6069:35: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )*
+            // InternalProblem.g:5942:35: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )*
             loop1:
             do {
                 int alt1=2;
@@ -875,11 +875,11 @@ public class InternalProblemLexer extends Lexer {
         try {
             int _type = RULE_STRING;
             int _channel = DEFAULT_TOKEN_CHANNEL;
-            // InternalProblem.g:6071:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' )
-            // InternalProblem.g:6071:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"'
+            // InternalProblem.g:5944:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' )
+            // InternalProblem.g:5944:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"'
             {
             match('\"'); 
-            // InternalProblem.g:6071:19: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )*
+            // InternalProblem.g:5944:19: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )*
             loop2:
             do {
                 int alt2=3;
@@ -895,7 +895,7 @@ public class InternalProblemLexer extends Lexer {
 
                 switch (alt2) {
                 case 1 :
-                    // InternalProblem.g:6071:20: '\\\\' .
+                    // InternalProblem.g:5944:20: '\\\\' .
                     {
                     match('\\'); 
                     matchAny(); 
@@ -903,7 +903,7 @@ public class InternalProblemLexer extends Lexer {
                     }
                     break;
                 case 2 :
-                    // InternalProblem.g:6071:27: ~ ( ( '\\\\' | '\"' ) )
+                    // InternalProblem.g:5944:27: ~ ( ( '\\\\' | '\"' ) )
                     {
                     if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) {
                         input.consume();
@@ -940,11 +940,11 @@ public class InternalProblemLexer extends Lexer {
         try {
             int _type = RULE_QUOTED_ID;
             int _channel = DEFAULT_TOKEN_CHANNEL;
-            // InternalProblem.g:6073:16: ( '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' )
-            // InternalProblem.g:6073:18: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\''
+            // InternalProblem.g:5946:16: ( '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' )
+            // InternalProblem.g:5946:18: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\''
             {
             match('\''); 
-            // InternalProblem.g:6073:23: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )*
+            // InternalProblem.g:5946:23: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )*
             loop3:
             do {
                 int alt3=3;
@@ -960,7 +960,7 @@ public class InternalProblemLexer extends Lexer {
 
                 switch (alt3) {
                 case 1 :
-                    // InternalProblem.g:6073:24: '\\\\' .
+                    // InternalProblem.g:5946:24: '\\\\' .
                     {
                     match('\\'); 
                     matchAny(); 
@@ -968,7 +968,7 @@ public class InternalProblemLexer extends Lexer {
                     }
                     break;
                 case 2 :
-                    // InternalProblem.g:6073:31: ~ ( ( '\\\\' | '\\'' ) )
+                    // InternalProblem.g:5946:31: ~ ( ( '\\\\' | '\\'' ) )
                     {
                     if ( (input.LA(1)>='\u0000' && input.LA(1)<='&')||(input.LA(1)>='(' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) {
                         input.consume();
@@ -1005,10 +1005,10 @@ public class InternalProblemLexer extends Lexer {
         try {
             int _type = RULE_SL_COMMENT;
             int _channel = DEFAULT_TOKEN_CHANNEL;
-            // InternalProblem.g:6075:17: ( ( '%' | '//' ) (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? )
-            // InternalProblem.g:6075:19: ( '%' | '//' ) (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )?
+            // InternalProblem.g:5948:17: ( ( '%' | '//' ) (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? )
+            // InternalProblem.g:5948:19: ( '%' | '//' ) (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )?
             {
-            // InternalProblem.g:6075:19: ( '%' | '//' )
+            // InternalProblem.g:5948:19: ( '%' | '//' )
             int alt4=2;
             int LA4_0 = input.LA(1);
 
@@ -1026,14 +1026,14 @@ public class InternalProblemLexer extends Lexer {
             }
             switch (alt4) {
                 case 1 :
-                    // InternalProblem.g:6075:20: '%'
+                    // InternalProblem.g:5948:20: '%'
                     {
                     match('%'); 
 
                     }
                     break;
                 case 2 :
-                    // InternalProblem.g:6075:24: '//'
+                    // InternalProblem.g:5948:24: '//'
                     {
                     match("//"); 
 
@@ -1043,7 +1043,7 @@ public class InternalProblemLexer extends Lexer {
 
             }
 
-            // InternalProblem.g:6075:30: (~ ( ( '\\n' | '\\r' ) ) )*
+            // InternalProblem.g:5948:30: (~ ( ( '\\n' | '\\r' ) ) )*
             loop5:
             do {
                 int alt5=2;
@@ -1056,7 +1056,7 @@ public class InternalProblemLexer extends Lexer {
 
                 switch (alt5) {
                 case 1 :
-                    // InternalProblem.g:6075:30: ~ ( ( '\\n' | '\\r' ) )
+                    // InternalProblem.g:5948:30: ~ ( ( '\\n' | '\\r' ) )
                     {
                     if ( (input.LA(1)>='\u0000' && input.LA(1)<='\t')||(input.LA(1)>='\u000B' && input.LA(1)<='\f')||(input.LA(1)>='\u000E' && input.LA(1)<='\uFFFF') ) {
                         input.consume();
@@ -1076,7 +1076,7 @@ public class InternalProblemLexer extends Lexer {
                 }
             } while (true);
 
-            // InternalProblem.g:6075:46: ( ( '\\r' )? '\\n' )?
+            // InternalProblem.g:5948:46: ( ( '\\r' )? '\\n' )?
             int alt7=2;
             int LA7_0 = input.LA(1);
 
@@ -1085,9 +1085,9 @@ public class InternalProblemLexer extends Lexer {
             }
             switch (alt7) {
                 case 1 :
-                    // InternalProblem.g:6075:47: ( '\\r' )? '\\n'
+                    // InternalProblem.g:5948:47: ( '\\r' )? '\\n'
                     {
-                    // InternalProblem.g:6075:47: ( '\\r' )?
+                    // InternalProblem.g:5948:47: ( '\\r' )?
                     int alt6=2;
                     int LA6_0 = input.LA(1);
 
@@ -1096,7 +1096,7 @@ public class InternalProblemLexer extends Lexer {
                     }
                     switch (alt6) {
                         case 1 :
-                            // InternalProblem.g:6075:47: '\\r'
+                            // InternalProblem.g:5948:47: '\\r'
                             {
                             match('\r'); 
 
@@ -1128,10 +1128,10 @@ public class InternalProblemLexer extends Lexer {
         try {
             int _type = RULE_INT;
             int _channel = DEFAULT_TOKEN_CHANNEL;
-            // InternalProblem.g:6077:10: ( ( '0' .. '9' )+ )
-            // InternalProblem.g:6077:12: ( '0' .. '9' )+
+            // InternalProblem.g:5950:10: ( ( '0' .. '9' )+ )
+            // InternalProblem.g:5950:12: ( '0' .. '9' )+
             {
-            // InternalProblem.g:6077:12: ( '0' .. '9' )+
+            // InternalProblem.g:5950:12: ( '0' .. '9' )+
             int cnt8=0;
             loop8:
             do {
@@ -1145,7 +1145,7 @@ public class InternalProblemLexer extends Lexer {
 
                 switch (alt8) {
                 case 1 :
-                    // InternalProblem.g:6077:13: '0' .. '9'
+                    // InternalProblem.g:5950:13: '0' .. '9'
                     {
                     matchRange('0','9'); 
 
@@ -1177,12 +1177,12 @@ public class InternalProblemLexer extends Lexer {
         try {
             int _type = RULE_ML_COMMENT;
             int _channel = DEFAULT_TOKEN_CHANNEL;
-            // InternalProblem.g:6079:17: ( '/*' ( options {greedy=false; } : . )* '*/' )
-            // InternalProblem.g:6079:19: '/*' ( options {greedy=false; } : . )* '*/'
+            // InternalProblem.g:5952:17: ( '/*' ( options {greedy=false; } : . )* '*/' )
+            // InternalProblem.g:5952:19: '/*' ( options {greedy=false; } : . )* '*/'
             {
             match("/*"); 
 
-            // InternalProblem.g:6079:24: ( options {greedy=false; } : . )*
+            // InternalProblem.g:5952:24: ( options {greedy=false; } : . )*
             loop9:
             do {
                 int alt9=2;
@@ -1207,7 +1207,7 @@ public class InternalProblemLexer extends Lexer {
 
                 switch (alt9) {
                 case 1 :
-                    // InternalProblem.g:6079:52: .
+                    // InternalProblem.g:5952:52: .
                     {
                     matchAny(); 
 
@@ -1237,10 +1237,10 @@ public class InternalProblemLexer extends Lexer {
         try {
             int _type = RULE_WS;
             int _channel = DEFAULT_TOKEN_CHANNEL;
-            // InternalProblem.g:6081:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ )
-            // InternalProblem.g:6081:11: ( ' ' | '\\t' | '\\r' | '\\n' )+
+            // InternalProblem.g:5954:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ )
+            // InternalProblem.g:5954:11: ( ' ' | '\\t' | '\\r' | '\\n' )+
             {
-            // InternalProblem.g:6081:11: ( ' ' | '\\t' | '\\r' | '\\n' )+
+            // InternalProblem.g:5954:11: ( ' ' | '\\t' | '\\r' | '\\n' )+
             int cnt10=0;
             loop10:
             do {
@@ -1294,8 +1294,8 @@ public class InternalProblemLexer extends Lexer {
         try {
             int _type = RULE_ANY_OTHER;
             int _channel = DEFAULT_TOKEN_CHANNEL;
-            // InternalProblem.g:6083:16: ( . )
-            // InternalProblem.g:6083:18: .
+            // InternalProblem.g:5956:16: ( . )
+            // InternalProblem.g:5956:18: .
             {
             matchAny();