blob: 178103e296e92307c7d21a9315e6fc9a149aedae (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
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=31
Minimize=9
Must=25
Opposite=10
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
|
