1 files changed, 20 insertions, 10 deletions

diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g
index 3c496e8a..074932ca 100644
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g
@@ -11,6 +11,8 @@ package org.eclipse.viatra.solver.language.parser.antlr.lexer;
 import org.eclipse.xtext.parser.antlr.Lexer;

 }

 

+Containment : 'containment';

+

 Functional : 'functional';

 

 Abstract : 'abstract';

@@ -25,19 +27,21 @@ Minimize : 'minimize';
 

 Opposite : 'opposite';

 

-Current : 'current';

-

 Default : 'default';

 

 Extends : 'extends';

 

-Unknown : 'unknown';

+Problem : 'problem';

 

-Exists : 'exists';

+Unknown : 'unknown';

 

 Extern : 'extern';

 

-Forall : 'forall';

+Import : 'import';

+

+Object : 'object';

+

+Refers : 'refers';

 

 Class : 'class';

 

@@ -53,7 +57,9 @@ Scope : 'scope';
 

 Else : 'else';

 

-Must : 'must';

+Enum : 'enum';

+

+Root : 'root';

 

 Then : 'then';

 

@@ -65,16 +71,16 @@ Inf : 'inf';
 

 Let : 'let';

 

-May : 'may';

-

 ExclamationMarkEqualsSign : '!=';

 

 HyphenMinusGreaterThanSign : '->';

 

-FullStopFullStop : '..';

-

 ColonHyphenMinus : ':-';

 

+ColonColon : '::';

+

+ColonEqualsSign : ':=';

+

 LessThanSignEqualsSign : '<=';

 

 EqualsSignEqualsSign : '==';

@@ -117,6 +123,8 @@ EqualsSign : '=';
 

 GreaterThanSign : '>';

 

+QuestionMark : '?';

+

 LeftSquareBracket : '[';

 

 RightSquareBracket : ']';

@@ -129,6 +137,8 @@ VerticalLine : '|';
 

 RightCurlyBracket : '}';

 

+Tilde : '~';

+

 RULE_STRING : '"' ('\\' .|~(('\\'|'"')))* '"';

 

 RULE_QUOTED_ID : '\'' ('\\' .|~(('\\'|'\'')))* '\'';