From b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Tue, 19 May 2020 21:18:06 +0200
Subject: Config language WIP

---
 .../antlr/lexer/InternalSolverLanguageLexer.tokens | 147 ++++++++++-----------
 1 file changed, 67 insertions(+), 80 deletions(-)

(limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens')

diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens
index 133cc9d6..178103e2 100644
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens
@@ -1,83 +1,70 @@
-ADD=33
-Abstract=6
-Asterisk=59
-Avg=38
-CircumflexAccent=72
-Class=19
-Colon=65
-ColonHyphenMinus=48
-Comma=61
-Contains=7
-Count=20
-Current=13
-DIV=34
-Default=14
-EQ=52
-Else=26
-Empty=21
-EqualsSign=68
-EqualsSignEqualsSign=50
-Error=22
-ExclamationMark=56
-ExclamationMarkEqualsSign=45
-Extends=15
-Extern=18
-False=23
-FullStop=63
-FullStopFullStop=47
-Functional=5
-GREATER=11
-GREATER_EQ=4
-GreaterThanSign=69
-GreaterThanSignEqualsSign=51
-HyphenMinus=62
-HyphenMinusGreaterThanSign=46
-IN=53
-If=54
-In=55
-Inf=39
-Int=40
-LESS=25
-LESS_EQ=12
-LeftCurlyBracket=73
-LeftParenthesis=57
-LeftSquareBracket=70
-LessThanSign=67
-LessThanSignEqualsSign=49
-MUL=35
-Max=41
+Abstract=5
+As=40
+Asterisk=46
+CircumflexAccent=59
+Class=18
+Colon=52
+ColonHyphenMinus=35
+Comma=48
+Contains=6
+Count=19
+Current=11
+Datatype=7
+Default=12
+Else=24
+Empty=20
+EqualsSign=55
+EqualsSignEqualsSign=37
+EqualsSignGreaterThanSign=38
+Error=21
+ExclamationMark=43
+ExclamationMarkEqualsSign=32
+Exists=15
+Extends=13
+Extern=16
+False=22
+Forall=17
+FullStop=50
+FullStopFullStop=34
+FullStopFullStopFullStop=28
+Functional=4
+GreaterThanSign=56
+GreaterThanSignEqualsSign=39
+HyphenMinus=49
+HyphenMinusGreaterThanSign=33
+If=41
+In=42
+Inf=29
+LeftCurlyBracket=60
+LeftParenthesis=44
+LeftSquareBracket=57
+LessThanSign=54
+LessThanSignEqualsSign=36
+Let=30
 Maximize=8
-May=42
-Min=43
+May=31
 Minimize=9
-Must=27
-NOT_EQ=17
-Only=28
+Must=25
 Opposite=10
-POW=36
-PlusSign=60
-Prod=29
-RULE_ANY_OTHER=86
-RULE_FULL_STOP=81
-RULE_ID=82
-RULE_INT=83
-RULE_ML_COMMENT=84
-RULE_QUOTED_ID=77
-RULE_REFLEXIVE_TRANSITIVE_CLOSURE=80
-RULE_SL_COMMENT=78
-RULE_STRING=76
-RULE_TRANSITIVE_CLOSURE=79
-RULE_WS=85
-Real=30
-RightCurlyBracket=75
-RightParenthesis=58
-RightSquareBracket=71
-SUB=37
-Scope=24
-Semicolon=66
-Solidus=64
-Sum=44
-Then=31
-True=32
-Unknown=16
-VerticalLine=74
+PlusSign=47
+RULE_ANY_OTHER=73
+RULE_FULL_STOP=68
+RULE_ID=69
+RULE_INT=70
+RULE_ML_COMMENT=71
+RULE_QUOTED_ID=64
+RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67
+RULE_SL_COMMENT=65
+RULE_STRING=63
+RULE_TRANSITIVE_CLOSURE=66
+RULE_WS=72
+RightCurlyBracket=62
+RightParenthesis=45
+RightSquareBracket=58
+Scope=23
+Semicolon=53
+Solidus=51
+Then=26
+True=27
+Unknown=14
+VerticalLine=61
-- 
cgit v1.2.3-70-g09d2