1 files changed, 10 insertions, 36 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 1a29e53b..3c496e8a 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,24 +11,20 @@ package org.eclipse.viatra.solver.language.parser.antlr.lexer;
 import org.eclipse.xtext.parser.antlr.Lexer;

 }

 

-GREATER_EQ : 'GREATER_EQ';

-

 Functional : 'functional';

 

 Abstract : 'abstract';

 

 Contains : 'contains';

 

+Datatype : 'datatype';

+

 Maximize : 'maximize';

 

 Minimize : 'minimize';

 

 Opposite : 'opposite';

 

-GREATER : 'GREATER';

-

-LESS_EQ : 'LESS_EQ';

-

 Current : 'current';

 

 Default : 'default';

@@ -37,10 +33,12 @@ Extends : 'extends';
 

 Unknown : 'unknown';

 

-NOT_EQ : 'NOT_EQ';

+Exists : 'exists';

 

 Extern : 'extern';

 

+Forall : 'forall';

+

 Class : 'class';

 

 Count : 'count';

@@ -53,46 +51,22 @@ False : 'false';
 

 Scope : 'scope';

 

-LESS : 'LESS';

-

 Else : 'else';

 

 Must : 'must';

 

-Only : 'only';

-

-Prod : 'prod';

-

-Real : 'real';

-

 Then : 'then';

 

 True : 'true';

 

-ADD : 'ADD';

-

-DIV : 'DIV';

-

-MUL : 'MUL';

-

-POW : 'POW';

-

-SUB : 'SUB';

-

-Avg : 'avg';

+FullStopFullStopFullStop : '...';

 

 Inf : 'inf';

 

-Int : 'int';

-

-Max : 'max';

+Let : 'let';

 

 May : 'may';

 

-Min : 'min';

-

-Sum : 'sum';

-

 ExclamationMarkEqualsSign : '!=';

 

 HyphenMinusGreaterThanSign : '->';

@@ -105,11 +79,11 @@ LessThanSignEqualsSign : '<=';
 

 EqualsSignEqualsSign : '==';

 

-GreaterThanSignEqualsSign : '>=';

+EqualsSignGreaterThanSign : '=>';

 

-EQ : 'EQ';

+GreaterThanSignEqualsSign : '>=';

 

-IN : 'IN';

+As : 'as';

 

 If : 'if';