From 820151b6d27643ba0927ca84d1bccadbd695a55d Mon Sep 17 00:00:00 2001
From: Oszkar Semerath <semerath@mit.bme.hu>
Date: Wed, 6 May 2020 00:27:55 +0200
Subject: PS language update

---
 .../antlr/internal/InternalSolverLanguage.tokens   | 50 +++++++++++-----------
 1 file changed, 26 insertions(+), 24 deletions(-)

(limited to 'Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens')

diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens
index e2d30366..938a5322 100644
--- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens
+++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens
@@ -1,33 +1,34 @@
-'('=17
-')'=18
-'*'=30
-'+'=29
+'('=18
+')'=19
+'*'=31
+'+'=30
+','=20
 '-'=13
 '.'=14
-'..'=38
-':'=19
-'\''=26
-'abstract'=39
-'bool'=22
-'class'=32
-'containment'=40
-'default'=31
-'enum'=36
-'equals'=21
+'..'=39
+':'=17
+':-'=28
+'\''=27
+'abstract'=40
+'bool'=23
+'class'=33
+'containment'=41
+'default'=32
+'enum'=37
+'equals'=22
 'error'=16
-'exists'=20
-'extends'=35
+'exists'=21
+'extends'=36
 'false'=11
-'int'=23
-'predicate'=27
-'real'=24
-'relation'=37
-'string'=25
+'int'=24
+'real'=25
+'relation'=38
+'string'=26
 'true'=12
 'unknown'=15
-'{'=33
-'|'=28
-'}'=34
+'{'=34
+'|'=29
+'}'=35
 RULE_ANY_OTHER=10
 RULE_ID=5
 RULE_INT=4
@@ -65,3 +66,4 @@ T__37=37
 T__38=38
 T__39=39
 T__40=40
+T__41=41
-- 
cgit v1.2.3-70-g09d2